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
21 Lower Kent Ridge Rd, University Hall, Singapore 1190777
Research Fellow, School of Computing
National University of Singapore
Canberra, Australian Capital Territory1
Lecturer/Senior Lecturer - Technical Cyber Security
University of New South Wales
Nagaoka, Niigata4
Faculty Member in Information and Management Systems
Nagaoka University of Technology
Lae, Morobe Province8
Associate Professor / Senior Lecturer in Computer Science (Theoretical Computer Science / Discrete Logic)
Papua New Guinea University of Technology
Bochum, Nordrhein-Westfalen0
Professorship (W1TTW2) for Developer-Centered Security
Ruhr-Universität Bochum
Jülich, North Rhine-Westphalia10
Postdoctoral Researcher in Multi-Modal Models of Human Brain Development, Function and Cognition
Forschungszentrum Jülich GmbH (Jülich Research Centre)
Nijmegen, Gelderland0
Research Assistant in Computational Modelling and Scientific Software
Radboud University
Related Conferences in Computer Science
IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids 2026
–
College Station, TX, United States