<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">*** Call for Participation ***</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">*** Certified Programs and Proofs (CPP) 2024 ***</span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> - Early registration deadline: 14 December 2023</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> - Registration:</span><a href="https://urldefense.com/v3/__https://popl22.sigplan.org/attending/registration__;!!IBzWLUs!CAJwtMcewR8vtUtnzB6Q7r-w8NOLoGJvs7UwF4djj5glH7CEcZo7Fkb7dY3BvslgoFY$" class="" style="text-decoration: none;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; color: rgb(0, 0, 0); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> </span></a><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><a href="https://popl24.sigplan.org/attending/registration" class="">https://popl24.sigplan.org/attending/registration</a></span></div><p dir="ltr" class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> </span></p><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Certified Programs and Proofs (CPP) is an international conference on</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">practical and theoretical topics in all areas that consider formal</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">verification and certification as an essential paradigm for their</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">work. CPP spans areas of computer science, mathematics, logic, and</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">education.</span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">CPP 2024 (<a href="https://popl24.sigplan.org/home/CPP-2024" class="">https://popl24.sigplan.org/home/CPP-2024</a>) will be held on</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">15-16 January 2024 and will be co-located with POPL 2024. CPP 2024 is</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG, and</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">supported by a diverse set of industrial sponsors.</span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Similarly to other events collocated with POPL 2024, CPP will take</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">place as an in-person event at Institution of Engineering and Technology, </span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Savoy Place, London, UK. Virtual participation via Airmeet will also be available; </span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">look for updated information about that option on the POPL web site.</span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">For more information about this edition and the CPP series, please</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">visit</span><a href="https://urldefense.com/v3/__https://popl22.sigplan.org/home/CPP-2022__;!!IBzWLUs!CAJwtMcewR8vtUtnzB6Q7r-w8NOLoGJvs7UwF4djj5glH7CEcZo7Fkb7dY3B4fwTCmQ$" class="" style="text-decoration: none;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; color: rgb(0, 0, 0); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> </span></a><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><a href="https://popl24.sigplan.org/home/CPP-2024" class="">https://popl24.sigplan.org/home/CPP-2024</a></span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">### Invited Speakers</span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">* Azalea Raad, Imperial College London</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">* Cezary Kaliszyk, University of Innsbruck</span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">### Accepted papers</span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">The list of accepted papers is available at </span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"><a href="https://popl24.sigplan.org/home/CPP-2024#event-overview" class="">https://popl24.sigplan.org/home/CPP-2024#event-overview</a></span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">### Subsidized student registration</span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">To facilitate in-person participation, CPP 2024 offers the opportunity</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">to waive the registration fees for a limited number of authors that are</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">in need of financial support to attend the conference. This support is</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">particularly aimed at undergraduate and graduate students, postdocs,</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">and authors from marginalized groups who are presenting papers at CPP.</span></div><span id="docs-internal-guid-d92ea72e-7fff-53d2-9607-411af028197a" class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">For more information, please reach out to the CPP conference co-chairs</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">(Amin Timany and Dmitriy Traytel, see below for their email addresses), </span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">with a brief description of your </span><span class="" style="font-family: Arial, sans-serif; font-size: 11pt; white-space: pre-wrap;">situation. </span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">CPP's student support is made possible by our generous industrial supporters:</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;"> <a href="https://popl24.sigplan.org/home/CPP-2024#About" class="">https://popl24.sigplan.org/home/CPP-2024#About</a></span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">### Contact</span></div><br class=""><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">For any questions please contact the chairs:</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Brigitte Pientka <<a href="mailto:bpientka@cs.mcgill.ca" class="">bpientka@cs.mcgill.ca</a>> (PC co-chair)</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Sandrine Blazy <</span><a href="mailto:sandrine.blazy@irisa.fr" class="" style="text-decoration: none;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; color: rgb(17, 85, 204); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: underline; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">sandrine.blazy@irisa.fr</span></a><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">> (PC co-chair)</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Dmitriy Traytel <<a href="mailto:traytel@di.ku.dk" class="">traytel@di.ku.dk</a>> (conference co-chair)</span></div><div class="" style="line-height: 1.3800000000000001; margin-top: 0pt; margin-bottom: 0pt;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">Amin Timany <</span><a href="mailto:timany@cs.au.dk" class="" style="text-decoration: none;"><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; color: rgb(17, 85, 204); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: underline; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">timany@cs.au.dk</span></a><span class="" style="font-size: 11pt; font-family: Arial, sans-serif; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;">> (conference co-chair)</span></div></span></body></html>