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 2021
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 2021
*** Call for Participation and Lightning Talks ***
*** Certified Programs and Proofs (CPP 2021) ***
Executive Summary
* Conference dates: 17-19 January 2021 (extended to 3 days!)
* Lightning talks submission deadline: 8 January 2021 (AoE)
* Lightning talks session: 18 January 2021 at 20:00
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 2022
Greetings,
The Department of Computer Science at University of Sheffield has an
open position of Lecturer in Verification. Details can be found here:
https://www.jobs.ac.uk/job/CEF438/lecturer-in-verification
Applicants doing research with and on proof assistants are most
welcome. Female
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 2022