[Haskell] Certified Programs and Proofs (CPP'24) - Call for Participation

Brigitte Pientka bpientka at cs.mcgill.ca
Sun Dec 10 09:54:42 UTC 2023


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

 - Early registration deadline: 14 December 2023
 - Registration:  <https://urldefense.com/v3/__https://popl22.sigplan.org/attending/registration__;!!IBzWLUs!CAJwtMcewR8vtUtnzB6Q7r-w8NOLoGJvs7UwF4djj5glH7CEcZo7Fkb7dY3BvslgoFY$>https://popl24.sigplan.org/attending/registration <https://popl24.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 2024 (https://popl24.sigplan.org/home/CPP-2024 <https://popl24.sigplan.org/home/CPP-2024>) will be held on
15-16 January 2024 and will be co-located with POPL 2024. CPP 2024 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 2024, CPP will take
place as an in-person event at Institution of Engineering and Technology,
Savoy Place, London, UK. Virtual participation via Airmeet 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://popl24.sigplan.org/home/CPP-2024 <https://popl24.sigplan.org/home/CPP-2024>
### Invited Speakers

* Azalea Raad, Imperial College London
* Cezary Kaliszyk, University of Innsbruck

### Accepted papers

The list of accepted papers is available at
https://popl24.sigplan.org/home/CPP-2024#event-overview <https://popl24.sigplan.org/home/CPP-2024#event-overview>
### Subsidized student registration

To facilitate in-person participation, CPP 2024 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
(Amin Timany and Dmitriy Traytel, 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://popl24.sigplan.org/home/CPP-2024#About <https://popl24.sigplan.org/home/CPP-2024#About>
### Contact

For any questions please contact the chairs:
Brigitte Pientka <bpientka at cs.mcgill.ca <mailto:bpientka at cs.mcgill.ca>> (PC co-chair)
Sandrine Blazy <sandrine.blazy at irisa.fr <mailto:sandrine.blazy at irisa.fr>> (PC co-chair)
Dmitriy Traytel <traytel at di.ku.dk <mailto:traytel at di.ku.dk>> (conference co-chair)
Amin Timany <timany at cs.au.dk <mailto:timany at cs.au.dk>> (conference co-chair)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20231210/bdd6fdad/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: Message signed with OpenPGP
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20231210/bdd6fdad/attachment-0001.sig>


More information about the Haskell mailing list