Universiteit van Amsterdam


Institute for Logic, Language and Computation

18 - 19 January 2021, Certified Programs & Proofs (CPP 2021), Virtual and (possibly) Copenhagen, Denmark

Date: 18 - 19 January 2021
Location: Virtual and (possibly) Copenhagen, Denmark
Deadline: Wednesday 16 September 2020

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 2021 will take place on January 18-19, 2021 as a virtual or hybrid physical-virtual meeting. This means that the authors will be able to present their papers online. The POPL and CPP organizers are monitoring the COVID-19 situation, and in September/October they will make an announcement on whether there will also be a physical meeting in Copenhagen; but irrespective of that decision, the online paper presentation option will be guaranteed.

We welcome submissions in research areas related to formal certification of programs and proofs. The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution.Concurrent submissions to other conferences, journals, workshops with proceedings, or similar forums of publication are not allowed.

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. CPP 2021 will employ a lightweight double-blind reviewing process.

For more information, see https://popl21.sigplan.org/home/CPP-2021 or contact Cătălin Hriţcu at , or Andrei Popescu at .