News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

17 - 18 January 2021, Certified Programs & Proofs (CPP 2021), Virtual

Date: 17 - 18 January 2021
Location: Virtual
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 meeting.

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.