Universiteit van Amsterdam


Institute for Logic, Language and Computation

18 - 19 January 2021, Certified Programs & Proofs (CPP 2021), either virtual or Copenhagen, Denmark

Date: 18 - 19 January 2021
Location: either virtual or 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.

Due to the COVID-19 situation, it is currently uncertain whether CPP 2021 will be a physical conference in Copenhagen, Denmark or a virtual one.

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 .