CPP

’27

International Conference on Certified Programs and Proofs

ConferenceMexico City, MexicoJanuary 11 – 12, 2027

Proof Assistants
Verification

Dates & Deadlines

AbstractSep 3passed
PaperSep 10passed
NotificationNov 105w
Camera-readyNov 252mo

Co-located with

POPLACM SIGPLAN Symposium on Principles of Programming LanguagesJan 10 – 16, 2027

Last updated Jun 23, 2026