Track: MKM (Chair: Andrea Kohlhase)
Mathematical Knowledge Management is an interdisciplinary field of research
in the intersection of mathematics, computer science, library science,
and scientific publishing.
The objective of MKM is to develop new and
better ways of managing sophisticated mathematical knowledge, based on
innovative technology of computer science, the internet, and intelligent
knowledge processing.
MKM brings together and serves
 mathematicians and computer scientists
 scientists and engineers who produce and use mathematical knowledge
 educators and students who teach and learn mathematics
 publishers who offer mathematical textbooks and disseminate new mathematical results
 librarians and mathematicians who catalog and organize mathematical knowledge.
MKM is concerned with all aspects of mathematical knowledge management including but not limited to
 Representing mathematical knowledge
 including formal/deductive, computational, informal/narrative, and databaseoriented representations
 including content and presentation
 including syntax and semantics (proof theory, model theory, computation)
 for mathematical formulas, statements, theories, documents or metadata about these
 in proof assistants, theorem provers, machine learning systems, computer algebra systems, or other tools
 aware of or bridging the diversity of existing formalisms
 using standards such as MathML/OpenMath, logical or universal frameworks, or interchange formats
 Methods, tools, and services for knowledge management such as
 human authoring such as editors, human interface systems, or OCR
 automatic creation such as data mining, theory exploration, or theorem proving
 humanmachine collaboration such as proof assistants, programming environments, or interactive presentation
 support of any life cycle phase such as experimentation, collaboration, verification, publication, dissemination, discovery, or discussion
 humanoriented presentation in dedicated tools, on the web, or elsewhere
 teaching of mathematics including tutoring systems, exercises, or user interfaces
 storage solutions such as archives, repositories, databases, or libraries
 retrieval including querying, indexing, or search
 reproducibility including persistence, provenance, versioning, or change management
 Corpora/libraries of mathematical knowledge
 representation of concrete documents, theories, theorems, proofs, models, algorithms, exercises, or examples
 descriptions of new corpora or of additions to existing corpora
 practical problems or solutions specific to large corpora
 aligning logics and concepts across corpora
 corpus operations such as translation, transformation, migration, exchange, mining, or reverseengineering
 Descriptions of any nontrivial undertaking relevant to the community including
 implementations (including new components or features of existing tools)
 exchanging knowledge and collaboration across communities
 integrations of existing solutions
 case studies and applications
 evaluations and benchmarks
 surveys and comparisons
 open challenges and unsolved practical problems
 experience reports regarding large or particularly difficult results
 historic overviews, current trends, and future challenges
The interests of MKM overlap with those of other CICM tracks, but all tracks are reviewed and published together.
If in doubt, authors may contact the program chairs to decide which track to submit to.
