CPP conference series - CPP 2026
CPP 2026
Sun 11 - Sat 17 January 2026
Rennes, France
co-located with
POPL 2026
Series
CPP 2026
All Editions
CPP 2026
CPP 2025
CPP 2024
CPP 2023
CPP 2022
CPP 2021
CPP 2020
CPP 2019
CPP 2018
CPP 2017
CPP 2016
CPP
All Editions
Sun 11 - Sat 17 January 2026 Rennes, France
CPP 2026
with
POPL 2026
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2026 will be held in January 2026 and will be co-located with POPL ...
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
CPP 2025
with
POPL 2025
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2025 will be held in January 2025 and will be co-located with POPL ...
Mon 15 - Tue 16 January 2024 London, United Kingdom
CPP 2024
with
POPL 2024
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2024 will be held on 15-16 January 2024 and will be co-located wit ...
Mon 16 - Tue 17 January 2023 Boston, Massachusetts, United States
CPP 2023
with
POPL 2023
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2023 will be held on 16-17 January 2023 and will be co-located wit ...
Sun 16 - Fri 21 January 2022 Philadelphia, Pennsylvania, United States
CPP 2022
with
POPL 2022
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2022 will be held on 17-18 January 2022 and will be co-located wit ...
Sun 17 - Fri 22 January 2021 Online
CPP 2021
with
POPL 2021
No description available
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
CPP 2020
with
POPL 2020
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.
CPP 2020 will be ...
Sun 13 - Sat 19 January 2019 Cascais, Portugal
CPP 2019
with
POPL 2019
Certified Programs and Proofs (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.
Follow this link for more information ab ...
Mon 8 - Sat 13 January 2018 Los Angeles, California, United States
CPP 2018
with
POPL 2018
Welcome to the website of the Certified Programs and Proofs 2018 conference. We are working hard to fill the website with all related information. Please check back soon!
Wed 18 - Fri 20 January 2017
CPP 2017
with
POPL 2017
Welcome to the website of the Certified Programs and Proofs 2017 conference. We are working hard to fill the website with all related information. Please check back soon!
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
CPP 2016
with
POPL 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.
Steering Committee (CPP 2026)
Sandrine Blazy
University of Rennes
France
Adam Chlipala
Massachusetts Institute of Technology
United States
Georges Gonthier
Inria
Cătălin Hriţcu
MPI-SP
Germany
Gerwin Klein
Proofcraft and UNSW Sydney
Australia
Dale Miller
INRIA Saclay and LIX/Institut Polytechnique de Paris
France
Tobias Nipkow
Technische Universität München
Brigitte Pientka
McGill University
Canada
Zhong Shao
Yale University
United States
Kathrin Stark
Heriot-Watt University
United Kingdom
Nicolas Tabareau
Inria
France
Amin Timany
Aarhus University
Denmark
Dmitriy Traytel
University of Copenhagen
Denmark
Sat 25 Apr 00:30