Search a Conference through our dedicated search page

CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

20th January 2020   -   21st January 2020
New Orleans, Louisiana, United States
https://popl20.sigplan.org/home/CPP-2020
Save

Abstract

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with the production of independently checkable certificates. CPP spans areas of computer science, mathematics, logic, and education.