<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:-webkit-standard;
panose-1:2 11 6 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.apple-converted-space
{mso-style-name:apple-converted-space;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">*** Call for Participation and Lightning Talks ***<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">*** Certified Programs and Proofs (CPP 2021) ***<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">#### Executive Summary<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">* Conference dates: 17-19 January 2021 (extended to 3 days!)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">* Lightning talks submission deadline: 8 January 2021 (AoE)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">* Lightning talks session: 18 January 2021 at 20:00 CET<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">* Registration:<span class="apple-converted-space"> </span><a href="https://popl21.sigplan.org/attending/Registration">https://popl21.sigplan.org/attending/Registration</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"> - Early registration deadline: 10 January 2021 (!)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"> - Discounted registration available (see below)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">* Long pre-recorded talks available by: 11 January 2021 (AoE)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">#### General Information<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">Certified Programs and Proofs (CPP) is an international conference on<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">practical and theoretical topics in all areas that consider formal<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">verification and certification as an essential paradigm. CPP spans<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">areas of computer science, mathematics, logic, and education. CPP is<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. For more<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">information please visit<span class="apple-converted-space"> </span><a href="https://popl21.sigplan.org/home/CPP-2021">https://popl21.sigplan.org/home/CPP-2021</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">CPP 2021 will be co-located with POPL 2021 and will take place on<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">17-19 January 2021, as a virtual meeting, where all papers are<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">presented online. For more information about virtual conference<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">organization have a look here:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><a href="https://popl21.sigplan.org/venue/POPL-2021-venue">https://popl21.sigplan.org/venue/POPL-2021-venue</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">CPP will also have both long and short versions of presentations,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">just that for us the short versions are 10 minutes long (not 5).<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">#### Call for Lightning Talks<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">CPP 2021 will include a session of 5-minute talks where attendees can<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">present work-in-progress, preliminary research results, and emerging<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">topics. Submission of such lightning talks proposals is lightweight:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">all we need is a title, an abstract, and the author names,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">affiliations, and contact information.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">- Lightning talks submission deadline: 8 January 2021 (AoE)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">- Lightning talks session: 18 January 2021 at 20:00 CET<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">- Submission information coming up in the next couple of days at:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><a href="https://popl21.sigplan.org/home/CPP-2021#Call-for-Participation-and-Lightning-Talks">https://popl21.sigplan.org/home/CPP-2021#Call-for-Participation-and-Lightning-Talks</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">#### Discounted Registration<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">We offer a $10 alternative registration fee for anyone for whom the<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">normal registration fees could be an impediment to participation.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">#### Industrial Supporters<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">Warm thanks to our generous industrial supporters:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">- Gold supporter: JetBrains<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">- Silver supporters: Algorand, IOHK, and Nomadic Labs<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">- Bronze supporters: Arm, BedRock Systems Inc, Digital Asset,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"> Galois, Informal Systems Inc, and Zilliqa<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">#### Invited Talks<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">- Tobias Nipkow (Technische Universität München):<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"> Teaching Algorithms and Data Structures with a Proof Assistant<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">- Peter Sewell (University of Cambridge):<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"> Underpinning the foundations: Sail-based semantics, testing,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"> and reasoning, for production and CHERI-enabled architectures<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">#### Accepted Papers, Program, and Distinguished Paper Awards<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">The list of papers accepted at CPP 2021 is available at<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><a href="https://popl21.sigplan.org/home/CPP-2021#event-overview">https://popl21.sigplan.org/home/CPP-2021#event-overview</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">A preliminary program is also available:
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><a href="https://popl21.sigplan.org/home/CPP-2021#program">https://popl21.sigplan.org/home/CPP-2021#program</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">Starting with this edition we introduced the CPP Distinguished Paper<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">Awards, aimed at accepted submissions that stand out with respect to<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">originality, significance, and clarity. The three Distinguished Papers<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">selected for CPP 2021 are:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">- A Minimalistic Verified Bootstrapped Compiler (Proof Pearl)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"> by Magnus O. Myreen<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">- Formalizing the Ring of Witt Vectors<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"> by Johan Commelin and Robert Y. Lewis<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">- Machine-Checked Semantic Session Typing<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"> by Jonas Kastberg Hinrichsen, Daniel Louwrink, Robbert Krebbers and<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"> Jesper Bengtson<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">#### Contact<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">For any questions please contact the chairs:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">Catalin Hritcu <<a href="mailto:catalin.hritcu@gmail.com">catalin.hritcu@gmail.com</a>>,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">Andrei Popescu <<a href="mailto:a.popescu@sheffield.ac.uk">a.popescu@sheffield.ac.uk</a>>,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">Lennart Beringer <<a href="mailto:eberinge@cs.princeton.edu">eberinge@cs.princeton.edu</a>><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>