**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.blanche...@vu.nl>, Catalin Hritcu <catalin.hri...@gmail.com> _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club