Please note that this newsitem has been archived, and may contain outdated information or links.
16 - 17 January 2023, Conference on Certified Programs & Proofs (CPP 2023), Boston MA, U.S.A.
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.
Please note that this newsitem has been archived, and may contain outdated information or links.