Deadline: 9/12/2023
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 2024 (https://popl24.sigplan.org/home/CPP-2024) will be held on 15-16 January 2024 and will be co-located with POPL 2024 in London, UK. CPP 2024 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2024 will welcome contributions from all members of the community. The CPP 2024 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2024 organizers. IMPORTANT DATES * Abstract Submission Deadline: 12 September 2023 at 23:59 AoE (UTC-12h) * Paper Submission Deadline: 19 September 2023 at 23:59 AoE (UTC-12h) * Notification (tentative): 21 November 2023 * Camera Ready Deadline (tentative): Mid December 2023 (TBA) * Conference: 15-16 January 2024 Deadlines expire at the end of the day, anywhere on earth. Abstract and submission deadlines are strict and there will be no extensions. For more information, see https://popl24.sigplan.org/home/CPP-2024 ORGANIZERS Amin Timany, Aarhus University, Denmark (conference co-chair) Dmitriy Traytel, University of Copenhagen, Denmark (conference co-chair) Sandrine Blazy, University of Rennes (PC co-chair) Brigitte Pientka, McGill University, Canada (PC co-chair)