The 6th ACM SIGPLAN Conference on
Certified Programs and Proofs (CPP 2017)
Paris, France, January 16 - 17, 2017


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.

Follow this link for more information about the CPP series.

CPP 2017 is co-located with POPL 2017, in Paris, France. Registration and accommodation information will mostly be available on that site.

Link to CPP'17 proceedings

Important Dates

Abstract submission:October 5, 2016
Full paper submission:October 12, 2016
Notification:November 16, 2016
Camera-ready deadline:November 28, 2016
Conference dates:January 16-17, 2017

Topics of interest

We welcome submissions in research areas related to formal certification of programs and proofs. The following is a suggested list of topics of interests to CPP. This is a non-exhaustive list and should be read as a guideline rather than a requirement.

Invited Speakers

Program Committee