Certified Programs and Proofs (CPP 2013)
11–13 December 2013
(Colocated with APLAS 2013)
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.
23 June 2014: The website for CPP 2015 is now live.
16 December: The conference is over. Thank you to attendees, authors, our invited speakers, the program committee and our general chair, Peter Schachte for making everything a success.
The next CPP will be in January 2015, in Mumbai, and colocated with POPL 2015.
7 November: If necessary, your registration details can be updated on the local information page.
15 October: The tentative schedule for our 2½ day program is now available.
- Dan Licata and Carroll Morgan have been confirmed as our invited speakers. We will also be sharing Nick Benton as an invited speaker for both APLAS and CPP.
- We have been informed that our proceedings will be no. 8307 in Springer’s LNCS series
5 September: We have confirmed that our proceedings will be published in Springer’s Lecture Notes in Computer Science series. Authors must submit all of their final paper-related material to us by 23 September. (This is a week later than originally advertised.) See our Author Information page.
26 August: our accepted papers have been announced.
Call for Papers
Important dates in summary:
|Abstract Submission:||Monday, 10 June 2013|
|Paper Submission Deadline:||Monday, 17 June 2013|
Easychair page: http://www.easychair.org/conferences/?conf=cpp2013
LNCS LaTeX style files: from Springer
Last modified: Monday, 23 June 2014