Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CPP 2021: Call for Participation and Lightning...

view this post on Zulip Email Gateway (Dec 22 2020 at 18:37):

From: Andrei Popescu <>
* Call for Participation and Lightning Talks *
* Certified Programs and Proofs (CPP 2021) *

Executive Summary

General Information

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. CPP spans
areas of computer science, mathematics, logic, and education. CPP is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. For more
information please visit

CPP 2021 will be co-located with POPL 2021 and will take place on
17-19 January 2021, as a virtual meeting, where all papers are
presented online. For more information about virtual conference
organization have a look here:
CPP will also have both long and short versions of presentations,
just that for us the short versions are 10 minutes long (not 5).

Call for Lightning Talks

CPP 2021 will include a session of 5-minute talks where attendees can
present work-in-progress, preliminary research results, and emerging
topics. Submission of such lightning talks proposals is lightweight:
all we need is a title, an abstract, and the author names,
affiliations, and contact information.

Discounted Registration

We offer a $10 alternative registration fee for anyone for whom the
normal registration fees could be an impediment to participation.

Industrial Supporters

Warm thanks to our generous industrial supporters:

Invited Talks

Accepted Papers, Program, and Distinguished Paper Awards

The list of papers accepted at CPP 2021 is available at

A preliminary program is also available:

Starting with this edition we introduced the CPP Distinguished Paper
Awards, aimed at accepted submissions that stand out with respect to
originality, significance, and clarity. The three Distinguished Papers
selected for CPP 2021 are:


For any questions please contact the chairs:
Catalin Hritcu <>,
Andrei Popescu <>,
Lennart Beringer <>

Last updated: Dec 08 2021 at 08:24 UTC