16 - 17 January 2017, The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Paris, France
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.