|1 March 2007:|
|Deadline for electronic submissions of title and abstract|
|4 March 2007:|
|Deadline for electronic submissions of full papers|
|2 April 2007:|
|Notification of acceptance/rejection|
|13 April 2007:|
|Camera ready copies due|
|13 May 2007:|
|27--30 June 2007:|
|Conference at RISC, Hagenberg, Austria|
Mathematical Knowledge Management is an innovative field in the intersection of mathematics and computer science. Its development is driven on the one hand by the new technological possibilities which computer science, the internet, and intelligent knowledge processing offer, and on the other hand by the need for new techniques for managing the rapidly growing volume of mathematical knowledge.
The conference is concerned with all aspects of mathematical knowledge management. A (non-exclusive) list of important areas of current interest includes:
|Neil J. A. Sloane||AT&T Shannon Labs, Florham Park, NJ, USA||The On-Line Encyclopedia of Integer Sequences|
|Peter Murray Rust||University of Cambridge, Dep. of Chemistry, UK||Mathematics and scientific markup|
The conference proceedings are available (jointly with Calculemus 2007) as Springer LNAI 4573, Towards Mechanized Mathematical Assistants.
You can find some pictures of Calculemus/MKM from the Calculemus web site at http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/?content=pics.