Certified Programs and Proofs
CPP is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates.
CPP: Call for Papers
View track page for all detailsPlease see the external CPP web site for the full details, but here’s a summary of the most important points.
- Abstracts due: October 7
- Papers due: October 12
- Author Notification: November 18
- Final versions due: December 4
- Conference: January 18-19
The paper format is compatible with the one from recent POPL and ICFP conferences.
Events
Schedule Overview
| Sunday 17th |
Monday 18th |
Tuesday 19th |
Wednesday 20th |
Thursday 21st |
Friday 22nd |
Saturday 23rd |
|---|---|---|---|---|---|---|
| VMCAI Verification, Model Checking, and Abstract Interpretation |
POPL Principles of Programming Languages |
OBT Off the Beaten |
||||
| CPP Certified Programs and Proofs |
PPS Probabilistic Programming Semantics |
|||||
| PADL Practical Aspects of Declarative Languages |
CoqPL Coq for Programming Languages |
|||||
| PEPM |
||||||
| Tutorials |
PLMW Programming Languages Mentoring |
|||||