International Conference on Intelligent Computer Mathematics (CICM)

International Conference on Mathematical Knowledge Management (MKM)

13th CICM 2020: Bertinoro, Italy

12th CICM 2019: Prague, Czech Republic

11th CICM 2018: Hagenberg, Austria

10th CICM 2017: Edinburgh, UK

9th CICM 2016: Bialystok, Poland

8th CICM 2015: Washington, DC, USA

7th CICM 2014: Coimbra, Portugal

12th MKM / 20th Calculemus / DML 2013: Bath, UK

11th MKM / 11th AISC / 19th Calculemus 2012: Bremen, Germany

10th MKM / 18th Calculemus 2011: Bertinoro, Italy

9th MKM / 10th AISC / 17th Calculemus 2010: Paris, France

8th MKM / 16th Calculemus 2009: Grand Bend, Canada

7th MKM / 8th AISC / 15th Calculemus 2008: Birmingham, UK

6th MKM / 14th Calculemus 2007: Hagenberg, Austria

5th MKM 2006: Wokingham, UK

4th MKM 2005: Bremen, Germany

3rd MKM 2004: Bialowieza, Poland

2nd MKM 2003: Bertinoro, Italy

a service of Schloss Dagstuhl - Leibniz Center for Informatics