News and Events: Conferences

16 - 17 January 2023, Conference on Certified Programs & Proofs (CPP 2023), Boston MA, U.S.A.

Date: 16 - 17 January 2023
Location: Boston MA, U.S.A.
Deadline: Wednesday 14 September 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 2023 will be co-located with POPL 2023. The CPP 2023 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2023 organizers.

We welcome submissions in research areas related to formal certification of programs and proofs.  Prior to the paper submission deadline, the authors should upload their anonymized paper in PDF format through the HotCRP system. The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution. They must be formatted following the ACM SIGPLAN Proceedings format. The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration.

For more information, see or contact Steve Zdancewic at , or Brigitte Pientka at .