17 - 18 January 2022, Conference on Certified Programs & Proofs (CPP 2022), Philadelphia PA (U.S.A.) with Virtual options
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 will be co-located with POPL 2022 in Philadelphia, Pennsylvania, United States. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2022 will welcome contributions from all members of the community. The CPP 2022 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2022 organizers. We welcome submissions in research areas related to formal certification of programs and proofs. Submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution. The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices.