Programme Committee, Organization
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: 
Early Registration 
2730 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 (nonexclusive) list of important areas of current interest includes:
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.unilinz.ac.at/about/conferences/Calculemus2007/?content=pics.