[CPP'25] Call for Participation: Certified Programs and Proofs (CPP) 2025

nicolas tabareau <[email protected]> Wed, 11 Dec 2024 09:53:59 +0100
Newsgroups gmane.comp.lang.haskell.general,gmane.science.mathematics.logic.coq.ssreflect,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.logic.lean.user,gmane.science.mathematics.prooftheory,gmane.comp.lang.idris.general,gmane.comp.mathematics.hol,gmane.science.mathematics.categories,gmane.comp.lang.caml.inria
Message-ID <[email protected]> 
--===============6311983106562146226==
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_31AF0EF9-CCCC-4D8C-9F40-416E44B466B9"


--Apple-Mail=_31AF0EF9-CCCC-4D8C-9F40-416E44B466B9
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=us-ascii

*** Call for Participation ***
*** Certified Programs and Proofs (CPP) 2025 ***

 - Early registration deadline: 20 December 2024
 - Registration:  =
<https://urldefense.com/v3/__https://popl22.sigplan.org/attending/registra=
tion__;!!IBzWLUs!CAJwtMcewR8vtUtnzB6Q7r-w8NOLoGJvs7UwF4djj5glH7CEcZo7Fkb7d=
Y3BvslgoFY$>https://popl25.sigplan.org/attending/registration
=20
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 2025 (https://popl25.sigplan.org/home/CPP-2025) will be held on
20-21 January 2025 and will be co-located with POPL 2025. CPP 2025 is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG, and
supported by a diverse set of industrial sponsors.

Similarly to other events collocated with POPL 2025, CPP will take
place as an in-person event at Denver, USA. Virtual participation will =
also be available;=20
look for updated information about that option on the POPL web site.

For more information about this edition and the CPP series, please
visit  =
<https://urldefense.com/v3/__https://popl22.sigplan.org/home/CPP-2022__;!!=
IBzWLUs!CAJwtMcewR8vtUtnzB6Q7r-w8NOLoGJvs7UwF4djj5glH7CEcZo7Fkb7dY3B4fwTCm=
Q$>https://popl25.sigplan.org/home/CPP-2025

### Invited Speakers

* Chung-Kil Hur (Seoul National University) "The Power of Imagination in =
Software Verification"
* Emily Riehl (John Hopkins University) "Prospects for Computer =
Formalization of Infinite-Dimensional Category Theory"

### Accepted papers

The list of accepted papers is available at=20
https://popl25.sigplan.org/home/CPP-2025#event-overview

### Subsidized student registration

To facilitate in-person participation, CPP 2025 offers the opportunity
to waive the registration fees for a limited number of authors that are
in need of financial support to attend the conference. This support is
particularly aimed at undergraduate and graduate students, postdocs,
and authors from marginalized groups who are presenting papers at CPP.
For more information, please reach out to the CPP conference co-chairs
(Kathrin Stark and Amin Timany, see below for their email addresses),=20
with a brief description of your situation. =20

CPP's student support is made possible by our generous industrial =
supporters:
 https://popl25.sigplan.org/home/CPP-2025#About

### Contact

For any questions please contact the chairs:
Sandrine Blazy [email protected] <mailto:[email protected]> =
(PC co-chair)
Nicolas Tabareau [email protected] =
<mailto:[email protected]> (PC co-chair)
Kathrin Stark [email protected] <mailto:[email protected]> (conference =
co-chair)
Amin Timany [email protected] <mailto:[email protected]> (conference =
co-chair)=

--Apple-Mail=_31AF0EF9-CCCC-4D8C-9F40-416E44B466B9
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=us-ascii

<html><head><meta http-equiv=3D"content-type" content=3D"text/html; =
charset=3Dus-ascii"></head><body style=3D"overflow-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: after-white-space;"><meta =
http-equiv=3D"content-type" content=3D"text/html; charset=3Dus-ascii"><div=
 style=3D"overflow-wrap: break-word; -webkit-nbsp-mode: space; =
line-break: after-white-space;"><div style=3D"margin: 0px; font-style: =
normal; font-variant-caps: normal; font-stretch: normal; font-size: =
13px; line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">*** Call for Participation =
***</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">*** Certified Programs and Proofs =
(CPP) 2025 ***</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal; min-height: 15px;"><br></div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">&nbsp;- =
Early registration deadline: 20 December 2024</div><div style=3D"margin: =
0px; font-style: normal; font-variant-caps: normal; font-stretch: =
normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">&nbsp;- =
Registration:<a =
href=3D"https://urldefense.com/v3/__https://popl22.sigplan.org/attending/r=
egistration__;!!IBzWLUs!CAJwtMcewR8vtUtnzB6Q7r-w8NOLoGJvs7UwF4djj5glH7CEcZ=
o7Fkb7dY3BvslgoFY$"> </a><span style=3D"text-decoration: =
underline">https://popl25.sigplan.org/attending/registration</span></div><=
p style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-variant-emoji: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">&nbsp;</p><div style=3D"margin: 0px; =
font-style: normal; font-variant-caps: normal; font-stretch: normal; =
font-size: 13px; line-height: normal; font-family: &quot;Helvetica =
Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">Certified =
Programs and Proofs (CPP) is an international conference on</div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">practical =
and theoretical topics in all areas that consider formal</div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: =
normal;">verification and certification as an essential paradigm for =
their</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">work. CPP spans areas of computer =
science, mathematics, logic, and</div><div style=3D"margin: 0px; =
font-style: normal; font-variant-caps: normal; font-stretch: normal; =
font-size: 13px; line-height: normal; font-family: &quot;Helvetica =
Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: =
normal;">education.</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal; min-height: 15px;"><br></div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">CPP 2025 =
(<span style=3D"text-decoration: =
underline">https://popl25.sigplan.org/home/CPP-2025</span>) will be held =
on</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">20-21 January 2025 and will be =
co-located with POPL 2025. CPP 2025 is</div><div style=3D"margin: 0px; =
font-style: normal; font-variant-caps: normal; font-stretch: normal; =
font-size: 13px; line-height: normal; font-family: &quot;Helvetica =
Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">sponsored =
by ACM SIGPLAN, in cooperation with ACM SIGLOG, and</div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">supported =
by a diverse set of industrial sponsors.</div><div style=3D"margin: 0px; =
font-style: normal; font-variant-caps: normal; font-stretch: normal; =
font-size: 13px; line-height: normal; font-family: &quot;Helvetica =
Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal; min-height: =
15px;"><br></div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">Similarly to other events collocated =
with POPL 2025, CPP will take</div><div style=3D"margin: 0px; =
font-style: normal; font-variant-caps: normal; font-stretch: normal; =
font-size: 13px; line-height: normal; font-family: &quot;Helvetica =
Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">place as an =
in-person event at Denver, USA. Virtual participation will also be =
available;&nbsp;</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">look for updated information about =
that option on the POPL web site.</div><div style=3D"margin: 0px; =
font-style: normal; font-variant-caps: normal; font-stretch: normal; =
font-size: 13px; line-height: normal; font-family: &quot;Helvetica =
Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal; min-height: =
15px;"><br></div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">For more information about this =
edition and the CPP series, please</div><div style=3D"margin: 0px; =
font-style: normal; font-variant-caps: normal; font-stretch: normal; =
font-size: 13px; line-height: normal; font-family: &quot;Helvetica =
Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">visit<a =
href=3D"https://urldefense.com/v3/__https://popl22.sigplan.org/home/CPP-20=
22__;!!IBzWLUs!CAJwtMcewR8vtUtnzB6Q7r-w8NOLoGJvs7UwF4djj5glH7CEcZo7Fkb7dY3=
B4fwTCmQ$"> </a><a =
href=3D"https://popl25.sigplan.org/home/CPP-2025">https://popl25.sigplan.o=
rg/home/CPP-2025</a></div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal; min-height: 15px;"><br></div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">### Invited =
Speakers</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal; min-height: 15px;"><br></div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 16px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;"><span =
style=3D"font-style: normal; font-variant-caps: normal; font-stretch: =
normal; font-size: 13px; line-height: normal; font-size-adjust: none; =
font-kerning: auto; font-variant-alternates: normal; =
font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-variant-emoji: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">*</span><b> =
Chung-Kil Hur (Seoul National University) "The Power of Imagination in =
Software Verification"</b></div><p style=3D"margin: 0px 0px 2px; =
font-style: normal; font-variant-caps: normal; font-stretch: normal; =
font-size: 16px; line-height: normal; font-family: &quot;Helvetica =
Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-variant-emoji: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;"><b>* Emily Riehl (John Hopkins =
University) "Prospects for Computer Formalization of =
Infinite-Dimensional Category Theory"</b></p><div style=3D"margin: 0px; =
font-style: normal; font-variant-caps: normal; font-stretch: normal; =
font-size: 13px; line-height: normal; font-family: &quot;Helvetica =
Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal; min-height: =
15px;"><br></div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">### Accepted papers</div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal; min-height: =
15px;"><br></div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">The list of accepted papers is =
available at&nbsp;</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;"><span style=3D"text-decoration: =
underline"><a =
href=3D"https://popl25.sigplan.org/home/CPP-2025#event-overview">https://p=
opl25.sigplan.org/home/CPP-2025#event-overview</a></span></div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal; min-height: =
15px;"><br></div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">### Subsidized student =
registration</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal; min-height: 15px;"><br></div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">To =
facilitate in-person participation, CPP 2025 offers the =
opportunity</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">to waive the registration fees for a =
limited number of authors that are</div><div style=3D"margin: 0px; =
font-style: normal; font-variant-caps: normal; font-stretch: normal; =
font-size: 13px; line-height: normal; font-family: &quot;Helvetica =
Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">in need of =
financial support to attend the conference. This support is</div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: =
normal;">particularly aimed at undergraduate and graduate students, =
postdocs,</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">and authors from marginalized groups =
who are presenting papers at CPP.</div><div style=3D"margin: 0px; =
font-style: normal; font-variant-caps: normal; font-stretch: normal; =
font-size: 13px; line-height: normal; font-family: &quot;Helvetica =
Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">For more =
information, please reach out to the CPP conference co-chairs</div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">(Kathrin =
Stark and Amin Timany, see below for their email =
addresses),&nbsp;</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">with a brief description of your =
situation.&nbsp;&nbsp;</div><div style=3D"margin: 0px; font-style: =
normal; font-variant-caps: normal; font-stretch: normal; font-size: =
13px; line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal; min-height: 15px;"><br></div><div =
style=3D"margin: 0px; font-style: normal; font-variant-caps: normal; =
font-stretch: normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal;">CPP's =
student support is made possible by our generous industrial =
supporters:</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">&nbsp;<a =
href=3D"https://popl25.sigplan.org/home/CPP-2025#About">https://popl25.sig=
plan.org/home/CPP-2025#About</a></div><div style=3D"margin: 0px; =
font-style: normal; font-variant-caps: normal; font-stretch: normal; =
font-size: 13px; line-height: normal; font-family: &quot;Helvetica =
Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal; min-height: =
15px;"><br></div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">### Contact</div><div style=3D"margin: =
0px; font-style: normal; font-variant-caps: normal; font-stretch: =
normal; font-size: 13px; line-height: normal; font-family: =
&quot;Helvetica Neue&quot;; font-size-adjust: none; font-kerning: auto; =
font-variant-alternates: normal; font-variant-ligatures: normal; =
font-variant-numeric: normal; font-variant-east-asian: normal; =
font-variant-position: normal; font-feature-settings: normal; =
font-optical-sizing: auto; font-variation-settings: normal; min-height: =
15px;"><br></div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">For any questions please contact the =
chairs:</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">Sandrine Blazy <a =
href=3D"mailto:[email protected]">[email protected]</a> (PC =
co-chair)</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">Nicolas Tabareau <a =
href=3D"mailto:[email protected]">[email protected]</a> =
(PC co-chair)</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">Kathrin Stark <a =
href=3D"mailto:[email protected]">[email protected]</a> (conference =
co-chair)</div><div style=3D"margin: 0px; font-style: normal; =
font-variant-caps: normal; font-stretch: normal; font-size: 13px; =
line-height: normal; font-family: &quot;Helvetica Neue&quot;; =
font-size-adjust: none; font-kerning: auto; font-variant-alternates: =
normal; font-variant-ligatures: normal; font-variant-numeric: normal; =
font-variant-east-asian: normal; font-variant-position: normal; =
font-feature-settings: normal; font-optical-sizing: auto; =
font-variation-settings: normal;">Amin Timany <a =
href=3D"mailto:[email protected]">[email protected]</a> (conference =
co-chair)</div></div></body></html>=

--Apple-Mail=_31AF0EF9-CCCC-4D8C-9F40-416E44B466B9--

--===============6311983106562146226==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSGFza2VsbCBt
YWlsaW5nIGxpc3QKSGFza2VsbEBoYXNrZWxsLm9yZwpodHRwOi8vbWFpbC5oYXNrZWxsLm9yZy9j
Z2ktYmluL21haWxtYW4vbGlzdGluZm8vaGFza2VsbAo=

--===============6311983106562146226==--