France2 days
Certified Programs and Proofs (CPP) 2026
Computer and Information Sciences and Support Services Conference
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.
Topics & Focus Areas
certified programmingprogram verificationproof assistantstype systemsformal verification
Official Conference Website
Visit the official website of Certified Programs and Proofs (CPP) 2026 for registration details, submission deadlines, and the full programme.
Related Jobs
Wuzhong District, Suzhou, China, 2150002
Faculty Position in School of Robotics (Full Rank)
Xi'an Jiaotong-Liverpool University
Kent Ridge Campus8
Research Fellow in Large Language Models, School of Computing
National University of Singapore
Atlanta, Georgia0
Limited-Term Instructor of COMPUTER INFORMATION SYSTEMS (CIS)
Georgia State University
Dayton, Ohio4
Adjunct - Computer Science and Engineering (Fall 2026 - Summer 2027)
Wright State University
Related Conferences in Computer Science
IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids 2026
–
College Station, TX, United States