Conference · Conference on Intelligent Computer Mathematics
CICM 2027
Official page- Type
- Conference
- Organisation
- Conference on Intelligent Computer Mathematics
- Location
- Erlangen, Germany
- Takes place
- 19 July 2027 to 23 July 2027
- Found
- 26 September 2026
About this listing
Conference on Intelligent Computer Mathematics. Held in Erlangen, Germany. 20th edition, covering formal mathematics, interactive and automated theorem proving, proof systems, mathematical knowledge management, and type theory. Topics: theorem proving, logic, formal methods, type systems. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 8 October 2026. Found via PLFM (pl-fm.github.io).