CPP 2027
| CPP 2027 | |
|---|---|
16th ACM SIGPLAN International Conference on Certified Programs and Proofs
| |
| Ordinal | 16 |
| Event in series | CPP |
| Dates | 2027/01/11 (iCal) - 2027/01/12 |
| Location | |
| Location: | Mexico City,Mexico |
| Important dates | |
| Submissions: | 2026/07/09 |
| Notification: | 2026/10/05 |
| Camera ready due: | 2026/11/20 |
| Committees | |
| General chairs: | Yannick Zakowski and Sophie Tourret |
| PC chairs: | Nikhil Swamy and Cyril Cohen |
| Table of Contents | |
,
Sources
https://conf.researchr.org/series/CPP
https://conf.researchr.org/dates/POPL-2027
https://conf.researchr.org/track/POPL-2027/POPL-2027-popl-research-papers