#
Mathematical Knowledge Management

**M**athematical **K**nowledge **M**anagement is an exciting new field at the intersection of
mathematics and computer science. We need efficient, new techniques - based on
sophisticated formal mathematics and software technology - to take advantage of the
enormous amount of knowledge available in current mathematical sources and to
organize mathematical knowledge in new ways. By its very nature, the realm of
mathematical information looks a very likely candidate on which to test innovative
theoretical and technological solutions for content-based systems, interoperability,
management of machine understandable information, and the Semantic Web.

MKM was founded as a workshop in 2001, became a conference in 2003,
and has become part of the
**C**onference on **I**ntelligent **C**omputer **M**athematics (**CICM**) in 2010.

The **MKM** interest group is a loosely coupled network of research groups and
individuals interested in joining forces for the study and design of software systems
for mathematical knowledge management.

The
12th International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT (MKM 2013) will take place in July 8-12 2013 at University of Bath, UK
as part of **CICM 2013**.