Conference · International Conference on Certified Programs and Proofs
CPP 2027
Official page- Type
- Conference
- Organisation
- International Conference on Certified Programs and Proofs
- Location
- Mexico City, Mexico
- Submissions close
- 11 September 2026
- Takes place
- 11 January 2027 to 12 January 2027
- Found
- 26 September 2026
About this listing
International Conference on Certified Programs and Proofs. Submissions close 2026-09-11. Held in Mexico City, Mexico. Held with POPL 2027. Topics: theorem proving, verification, type systems. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).