Logic List Mailing Archive
CfP [deadline soon]: CPP: Certified Programs and Proofs, 20-21. January, Hybrid: Online + Denver (USA)
*** 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/registration__;!!IBzWLUs!CAJwtMcewR8vtUtnzB6Q7r-w8NOLoGJvs7UwF4djj5glH7CEcZo7Fkb7dY3BvslgoFY$> https://popl25.sigplan.org/attending/registration
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;
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-w8NOLoGJvs7UwF4djj5glH7CEcZo7Fkb7dY3B4fwTCmQ$> 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
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),
with a brief description of your situation.
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 sandrine.blazy@irisa.fr<mailto:sandrine.blazy@irisa.fr> (PC co-chair)
Nicolas Tabareau Nicolas.tabareau@inria.fr<mailto:Nicolas.tabareau@inria.fr> (PC co-chair)
Kathrin Stark K.Stark@hw.ac.uk<mailto:K.Stark@hw.ac.uk> (conference co-chair)
Amin Timany timany@cs.au.dk<mailto:timany@cs.au.dk> (conference co-chair)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php