Intelligent Computer Mathematics / Mathematical Knowledge Management

CICM 2014: Coimbra, Portugal

12. MKM / Calculemus / DML 2013: Bath, UK

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

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

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

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

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

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

5. MKM 2006: Wokingham, UK

4. MKM 2005: Bremen, Germany

3. MKM 2004: Bialowieza, Poland

2. MKM 2003: Bertinoro, Italy