EuroProofNet Joint WG4-WG5 meeting (CICM and EPN workshop)afternoons of September 6-8, 2023The EuroProofNet Joint WG4-WG5 meeting on Libraries of Formal Proofs and Natural Mathematical Language will be organized jointly with the NatFoM workshop. See the 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