NatFoM: Workshop on Natural Formal Mathematics (CICM and EPN workshop)afternoons of September 6-8, 2023The NatFoM Workshop will be held as a joint meeting with the Workshop on libraries of formal proofs and natural mathematical language. See the joint meeting page for details. The workshop takes place at the William Gates Building/Computer Laboratory Department (15 JJ Thomson Avenue, Cambridge CB30FD). |
CICM 2023
16th Conference on Intelligent Computer Mathematics
September 4 – 8, 2023
Cambridge, UK
You must enable JavaScript to use this site
-
News
- Slides from Monday online
- Registration for physical participation closes Friday, 1. September 2023. Registration for online participation still possible beyond that date,
- Latest travel information
- Monday workshops changed
- Registration opened
- Programme added
- 6th workshop accepted
- Accepted papers published
- Notifications sent
- Submission deadline extended
- 5 workshops accepted
- Invited Speakers confirmed
- 2nd Call for Papers posted
- Call for Workshops posted
- Call for Papers posted
- Initial website online