Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

10-12 August 2006, MKM 2006: Fifth International Conference on Mathematical Knowledge Management, South East England, UK

Date: 10-12 August 2006
Location: South East England, UK
Deadline: 13 March 2006

Mathematical Knowledge Management (MKM) is an emerging interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library accessible via the World-Wide Web.

MKM 2006 will be the fifth conference in a series of international MKM conferences that started in 2001. MKM 2006 will stress two themes: the nature of mathematical proof and its role in managing mathematical knowledge. and new modes of consuming and producing mathematical knowledge.

For more information, including a registration form, see http://www.reading.ac.uk/MKM06/

MKM 2006 welcomes research papers and workshop proposals on these two themes as well as on all other aspects of MKM. Submissin deadline is March 13, 2006 (for papers) and February 27, 2006 (for workshop proposals).

Please note that this newsitem has been archived, and may contain outdated information or links.