Track C: Systems & Projects

The Systems and Projects track of the Conference on Intelligent Computer Mathematics (CICM) aims to provide a broad overview of the developed systems, projects, ideas, and interests of the CICM community. The track welcomes two-page abstracts about fresh systems and projects related to mathematical knowledge management (MKM) and Calculemus topics, and about progress on existing systems and projects. The accepted abstracts will be published in the CICM (LNAI) proceedings, and presented at CICM in a fast presentation session, followed by an open demo/poster session. System papers must be accompanied by a system demonstration, while project papers must be accompanied by a poster presentation. The two pages of the abstract should be new material, accompanied by links to demos/downloads/project-pages and [existing] system descriptions. Availability of such accompanying material will be a strong prerequisite for acceptance.

---

Systems and Projects Programme Committee

• James Davenport (University of Bath) General CICM Chair
• Josef Urban (Radboud University Nijmegen) Systems and Projects Chair
• Andrea Asperti (University of Bologna)
• Michael Beeson (San Jose State University)
• Jacques Carette (McMaster University)
• Michael Kohlhase (Jacobs University)
• Christoph Lange (Jacobs University)
• Piotr Rudnicki (University of Alberta)
• members of the MKM and Calculemus programme committees