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.
MKM brings together and serves
MKM is concerned with all aspects of mathematical knowledge management including but not limited to
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.
12th Conference on Intelligent Computer Mathematics
July 8-12, 2019
Prague, Czech Republic
- LNAI proceedings confirmed
- initial program committee
- initial website online