coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for participation for CPP 2020

From: Catalin Hritcu <catalin.hritcu AT gmail.com>
To: types-announce AT lists.seas.upenn.edu, Coq Club <coq-club AT inria.fr>, ssreflect AT msr-inria.inria.fr, FStar Club <fstar-club AT lists.gforge.inria.fr>, fm-announcements AT lists.nasa.gov
Cc: Jasmin Christian Blanchette <j.c.blanchette AT vu.nl>
Subject: [Coq-Club] Call for participation for CPP 2020
Date: Mon, 2 Dec 2019 08:00:00 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=catalin.hritcu AT gmail.com; spf=Pass smtp.mailfrom=catalin.hritcu AT gmail.com; spf=None smtp.helo=postmaster AT mail-ot1-f54.google.com
Ironport-phdr: 9a23:4+oujRHIaoJn0/aDEu04iJ1GYnF86YWxBRYc798ds5kLTJ7yocWwAkXT6L1XgUPTWs2DsrQY0rGQ6v+8EjVYu96oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vIhi6txjdu8sZjIdtN6o91gXFqWZUdupLwm9lOUidlAvm6Meq+55j/SVQu/Y/+MNFTK73Yac2Q6FGATo/K2w669HluhfFTQuU+3sTSX4WnQZSAwjE9x71QJH8uTbnu+Vn2SmaOcr2Ta0oWTmn8qxmRgPkhDsBOjUk62zclNB+g7xHrxKgvxx/wpDbYIeJNPplY6jRecoWSXddUspNUiBMBJ63YYkSAOobJetXoInzqVUNoxWjGwejGPjiyiNUinLswaE2z/gtHAPA0Qc9H9wOqnPUrNDtOaoMS++10LPHzTHCb/NQxDzz6pLIchE9of6QQLJ7bM3cxlU1GAPZlFqQrY3lPzWP2uQNqWib7vZgWv6yi2M8pAFxpyKgxsYoioXTmo0VzVXE+Dx/zY0oK9O4T0t7bsSlEJtWryyaLIp2Qsw6Q2Fsoik6zKcKuZmhfCgFzpks2h3Ra+SffoSW/h7uUPydLDR4iX5/Zr6zmgq+/VKgx+DzUMS/zUxEoTBfktbWs3AAzxzT5daDSvt65kqh3CyA1wHX6u1dJkA0ibfXJ4cvwrMwmZcfq0vDHijxmEX5iK+ZaF8o9fSv6+Tiernmp5mcOJFoigzmLKgihsiyDf47PwUORWSX5/mw2KH58UD5T7hGlvg2nbPYsJDeK8QbvKm5AwpN34k/8Rm/Ey2p0NAZnXkBNl5FeAiHj4n1O17SPfD1Fvi/g1G2nzdqw/DKJKHuApLILnTbirfuYa5961JAyAo01d1Q+5VUCqgYLP3vXk/xqcfXAwQiMw20xubnEM9y2pkfWWKJGK+ZMbndvUWG5uI1cKGwY9oJqS7wML0s4fjpkHkylHcZfLK1xt0MZXmjWOl+LkOfJ3fgn5NJOmAT9iE6Ueai3FaFSHtYY2u4d6M6/DAyToy8W8OLXZu3jbKF0SynNphNfCVHDEqNGDHpcZ+FUrECcmbaDPR9myZMfry8Qcd12wqyvRW/wL56JMLQ+zYErtTs2t9v6OCVlBco9DUyAd7LlymDSiR9mGUPWjk90aVyp1Bm4lOCyrRjxfpRDtUV6PRXASkgMpuJ5OVmAtTzXErhZNaVQ0vuFt6vHTg1T9R3w8UPf01gM9qnhxHHmSGtBulGxPSwGJUo//eEjDDKLMFnxiODjfF51gR0co50LWSjw5VH2U3TCorOyRjLkq+rceEbwHeI+jrfi2WJu05cXUh7VqCXBSlDNHuTlszw4wb5d5HrEa4ua1ITxsuLK68MYdrs3w0fFaXTfe/Gamf0oF+eQBOBx7eCdo3vIjxP0yDUCUxCmAcWry+L

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

- Early registration deadline: 18 December 2019
- Getting a visa: https://popl20.sigplan.org/attending/Visa
- Registration: https://popl20.sigplan.org/attending/Registration
- Accommodation: https://popl20.sigplan.org/venue/POPL-2020-venue

Certified Programs and Proofs (CPP) is an international conference on
practical and theoretical topics in all areas that consider
certification as an essential paradigm for their work. Certification
here means formal, mechanized verification of some sort, preferably
with the production of independently checkable certificates.
CPP spans areas of computer science, mathematics, logics, and education.

CPP 2020 will be held on 20-21 January 2020 in New Orleans, Louisiana,
United States and will be co-located with POPL 2020. CPP 2020 is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

For more information about this edition and the CPP series, please
visit https://popl20.sigplan.org/home/CPP-2020

### Invited Speakers

Adam Chlipala (MIT CSAIL) and Grigore Rosu (UIUC and Runtime Verification)

### Accepted papers

The list of accepted papers is available at
https://popl20.sigplan.org/home/CPP-2020#event-overview

### Conference dinner

This year CPP will feature a (highly subsidized) conference dinner in a
local restaurant for which we encourage you to sign up when registering
by choosing the CPP+ option.

This is possible thanks to our generous industrial supporters (list still
expected to grow a bit): https://popl20.sigplan.org/home/CPP-2020#About

### Contact

For any questions please contact the PC chairs:
Jasmin Blanchette
<j.c.blanchette AT vu.nl>,
Catalin Hritcu
<catalin.hritcu AT gmail.com>

[Coq-Club] Call for participation for CPP 2020, Catalin Hritcu, 12/02/2019