CICM International Conference on Intelligent Computer Mathematics Search within this conference 2021 CICM 2021 26-31 July Timisoara, Romania Intelligent Computer Mathematics 20 Papers 1 Volume 2020 CICM 2020 26-31 July Bertinoro, Italy Intelligent Computer Mathematics 25 Papers 1 Volume 2019 CICM 2019 8-12 July Prague, Czech Republic Intelligent Computer Mathematics 20 Papers 1 Volume 2018 CICM 2018 13-17 August Hagenberg, Austria Intelligent Computer Mathematics 23 Papers 1 Volume 2017 CICM 2017 17-21 July Edinburgh, United Kingdom Intelligent Computer Mathematics 25 Papers 1 Volume 2016 CICM 2016 25-29 July Bialystok, Poland Intelligent Computer Mathematics 13 Papers 1 Volume 2015 CICM 2015 13-17 July Washington, DC, USA Intelligent Computer Mathematics 28 Papers 1 Volume 2014 CICM 2014 7-11 July Coimbra, Portugal Intelligent Computer Mathematics 39 Papers 1 Volume 2013 CICM 2013 8-12 July Bath, United Kingdom Intelligent Computer Mathematics 33 Papers 1 Volume 2012 CICM 2012 8-13 July Bremen, Germany Intelligent Computer Mathematics 38 Papers 1 Volume 2011 CICM 2011 18-23 July Bertinoro, Italy Intelligent Computer Mathematics 30 Papers 1 Volume 2010 CICM 2010 5-10 July Paris, France Intelligent Computer Mathematics 38 Papers 1 Volume 2009 CICM 2009 6-12 July Grand Bend, ON, Canada Intelligent Computer Mathematics 40 Papers 1 Volume 2008 CICM 2008 28 July - 1 August Birmingham, United Kingdom Intelligent Computer Mathematics 47 Papers 1 Volume 2007 MKM 2007 27-30 June Hagenberg, Austria Towards Mechanized Mathematical Assistants 62 Papers 2 Volumes 2006 MKM 2006 11-12 August Wokingham, United Kingdom Mathematical Knowledge Management 22 Papers 1 Volume 2005 MKM 2005 15-17 July Bremen, Germany Mathematical Knowledge Management 26 Papers 1 Volume 2004 MKM 2004 19-21 September Bialowieza, Poland Mathematical Knowledge Management 27 Papers 1 Volume 2003 MKM 2003 16-18 February Bertinoro, Italy Mathematical Knowledge Management 17 Papers 1 Volume 2002 Calculemus 2002 1-5 July Marseille, France Artificial Intelligence, Automated Reasoning, and Symbolic Computation 30 Papers 1 Volume