coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: nicolas tabareau <nicolas.tabareau AT inria.fr>
To: ssreflect AT inria.fr, srepls AT jiscmail.ac.uk, Haskell AT haskell.org, coq-club AT inria.fr, types-list AT lists.seas.upenn.edu, isabelle-users AT cl.cam.ac.uk, games AT lists.rwth-aachen.de, lean-user AT googlegroups.com, concurrency AT listserver.tue.nl, "theory-logic AT cs.cmu.edu" <theory-logic AT CS.CMU.EDU>, theorem-provers AT ai.mit.edu, termtools AT www.lri.fr, rewriting AT trs.css.i.nagoya-u.ac.jp, rewriting AT ens-lyon.fr, pvs AT csl.sri.com, "ProofTheory AT lists.bath.ac.uk" <ProofTheory AT Lists.Bath.Ac.UK>, PlanetKR AT kr.org, matryoshka-devel AT lists.gforge.inria.fr, loginf AT lists.tcs.ifi.lmu.de, logic AT math.uni-bonn.de, las-lics AT lists.tu-berlin.de, idris-lang AT googlegroups.com, hol-info AT lists.sourceforge.net, fstar-club AT lists.gforge.inria.fr, fm-announcements AT lists.nasa.gov, categories AT mta.ca, caml-list AT inria.fr
Subject: [Coq-Club] [CPP'25] Call for Participation: Certified Programs and Proofs (CPP) 2025
Date: Wed, 11 Dec 2024 09:53:59 +0100
Authentication-results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=nicolas.tabareau AT inria.fr; dmarc=fail (p=none dis=none) d=inria.fr

*** Call for Participation ***

*** Certified Programs and Proofs (CPP) 2025 ***

- Early registration deadline: 20 December 2024

- Registration: 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

### 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

### 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:

### Contact

For any questions please contact the chairs:

Sandrine Blazy sandrine.blazy AT irisa.fr (PC co-chair)

Nicolas Tabareau Nicolas.tabareau AT inria.fr (PC co-chair)

Kathrin Stark K.Stark AT hw.ac.uk (conference co-chair)

Amin Timany timany AT cs.au.dk (conference co-chair)

[Coq-Club] [CPP'25] Call for Participation: Certified Programs and Proofs (CPP) 2025, nicolas tabareau, 12/11/2024