Universiteit van Amsterdam


Institute for Logic, Language and Computation

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

Date: 16 - 17 January 2017
Location: Paris, France
Deadline: Wednesday 5 October 2016

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.

We welcome submissions in research areas related to formal certification of programs and proofs. Abstracts must be submitted by October 5, 2016 (AOE). The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other published conferences or workshops.

For more information, see http://cpp2017.mpi-sws.org/.