CPP 2013

Certified Programs and Proofs (CPP 2013)

Melbourne, Australia
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.

News

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

[HTML] [PDF] [text]

Contact us

E-mail cpp2013@easychair.org

Last modified: Sunday, 15 December 2013