SETS: Workshop about Sets and ToolsChairs: Maximiliano Cristiá, David Delahaye and Olivier HermantCANCELEDThe SETS 2023 workshop aims at bringing together researchers interested in set theory, especially to design tools for dealing with set theory, such as interactive or automated theorem provers, proof checkers, theories for general purpose proof tools, constraint solvers, programming languages etc. For more information on the organization of SETS 2023, see here. |
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