Meetings and Conferences on Mathematical Knowledge Management

The MKM Conference

• The 14th International Conference on MATHEMATICAL KNOWLEDGEMANAGEMENT (MKM 2015) took place at George Washington University, Washington DC, US,as part of CICM 2015 ; Conference Chairs: Bruce Miller and Abdou Youssef; Program Chairs: Manfred Kerber (CICM general PC) and Cezary Kaliszyk (MKM PC).
• The 13th International Conference on MATHEMATICAL KNOWLEDGEMANAGEMENT (MKM 2014) took place at University of Coimbra, Portugal,as part of CICM 2014 ; Conference Chair: Pedro Quaresma; Program Chairs: Stephen Watt (CICM general PC) and Josef Urban (MKM PC).
• The 12th International Conference on MATHEMATICAL KNOWLEDGEMANAGEMENT (MKM 2013) took place at University of Bath, UK,as part of CICM 2013 ; Conference Chair: James Davenport; Program Chairs: Jacques Carette (CICM general PC) and David Aspinall (MKM PC).
• The 11th International Conference on MATHEMATICAL KNOWLEDGEMANAGEMENT (MKM 2012) took place 9-13 July 2012 at Jacobs University Bremen, Germany,as part of CICM 2012 ; Conference Chairs: Serge Autexier and Michael Kohlhase; Program Chairs: Johan Jeuring (CICM general PC) and Makarius Wenzel (MKM PC).
• The Tenth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT took place 18-23 July 2011 in Bertinoro, Forli (ITALY), as part of CICM 2011 ; Conference Chair: Andrea Asperti; Program Chairs: James Davenport (CICM general PC) and Florian Rabe (MKM PC).
• The Ninth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT took take place 8-10 July 2010 as part of CICM 2010 in Paris, France at the Conservatoire National des Arts et Métiers; Conference Chairs: Laurence Rideau and Renaud Rioboo; Program Chairs: Patrick Ion and Alan Sexton.
• The The Eighth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT took place 10-12 July 2009 at Grand Bend, ON, Canada as part of CICM 2009 ; Conference Chair: Stephen Watt; Program Chairs: Claudio Sacerdoti Coen and Stephen Watt.
• The The Seventh International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT took place July 28. - 30. 2008 at the University of Birmingham, UK; Conference Chair: Volker Sorge; Program Chairs: Serge Autexier and Masakazu Suzuki.
• Sixth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT June 27. - 30. 2007 at RISC Hagenberg Austria; Conference Chair: Wolfgang Windsteiger; Program Chairs: Manfred Kerber and Robert Miner
• Fifth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT August 11. & 12. 2006 in Wokingham, UK; Conference Chair: Andrew A. Adams; Program Chairs: William Farmer and Jon Borwein
• Fourth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT July 15. & 16. 2005, Jacobs University Bremen
• Third International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT September 19th - 21st, 2004, Bialowieza - Poland
• Second International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT (MKM 2003) February 16th - 18th, 2003; Bertinoro - Italy
• First International Workshop on Mathematical Knowledge Management September 24-26, 2001; Schloss Hagenberg - Austria

Other MKM Meetings

• NA-MKM 2004 , Joint Mathematics Meetings, Phoenix, Arizona, USA, January 6, 2004.
• Mathematical Knowledge Management Symposium at Heriot-Watt University, 25-30 November 2003.
• Mathematics On The Semantic Web , May 2003.
• NA-MKM 2002 , McMaster University, Hamilton, Ontario, Canada, June 12-13, 2002.
• SESAME Workshop July 14. 2005, International University Bremen

Related Meetings

• The Conference on Communicating Mathematics in the Digital Era will take place 2006 in Portugal