8-10 July 2010
Paris, France
The 9th International Conference on Mathematical Knowledge Management MKM 2010 Paris, France 8th-10th July 2010 http://cicm2010.cnam.fr/mkm/ Mathematical Knowledge Management is an innovative field at the intersection of mathematics, computer science, library science, and scientific publishing. Its development is driven, on the one hand, by new technological possibilities which computer science, the Internet, and intelligent knowledge processing offer, and, on the other hand, by the increasing demand by engineers and scientists for new techniques to help in producing, transmitting, consuming, and managing sophisticated mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. Topics covered include, but are not limited to:. * Representations of mathematical knowledge * Repositories of formalized mathematics * Mathematical digital libraries * Diagrammatic representations * Multi-modal representations * Mathematical OCR * Mathematical search and retrieval * Deduction systems * Math assistants, tutoring and assessment systems * Authoring languages and tools * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows MKM 2010 welcomes research papers and workshop proposals with links to the above topics. The conference proceedings will be published in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). The submission deadline for abstracts is February 24, 2010. For more information and the call for papers, please visit http://cicm2010.cnam.fr/mkm/. More information about the MKM conference series can be found at MKM Interest Group Webpage.