MKM 2009 - Mathematical Knowledge Management

The 8th International Conference on Mathematical Knowledge Management will take place in Grand Bend, Ontario (Canada), on July 10th-12th, 2009.

The conference is concerned with all aspects of mathematical knowledge management, including representations of mathematical knowledge; repositories of formalized mathematics; mathematical digital libraries; diagrammatic representations; multi-modal representations; mathematical OCR; mathematical search and retrieval; 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; and many more.

Website: http://www.orcca.on.ca/conferences/cicm09/mkm09/