Email Gateway (Aug 22 2022 at 16:30): Email Gateway (Aug 22 2022 at 16:30):From: Amy Felty <afelty@uottawa.ca>
CALL FOR PARTICIPATION
The 7th ACM SIGPLAN International Conference
on Certified Programs and Proofs (CPP 2018)
co-located with POPL 2018
in cooperation with ACM SIGLOG
http://conf.researchr.org/track/CPP-2018/CPP-2018
8-9 January, 2018, Los Angeles, USA
EARLY REGISTRATION DEADLINE: 10 December 2017
less than one week
REGISTRATION: https://popl18.sigplan.org/attending/Registration
ACCOMMODATION: https://popl18.sigplan.org/venue/POPL-2018-venue
DESCRIPTION: Certified Programs and Proofs (CPP) is an international
forum on theoretical and practical topics in all areas, including
computer science, mathematics, and education, that consider
certification as an essential paradigm for their work. Certification
here means formal, mechanized verification of some sort, preferably
with production of independently checkable certificates.
INVITED SPEAKERS
Brigitte Pientka (McGill University, Canada)
POPLMark Reloaded: Mechanizing Logical Relations Proofs
René Thiemann (University of Innsbruck, Austria)
Efficient Certification of Complexity Proofs—Formalizing the
Perron-Frobenius Theorem
CPP 2018 invited speakers are generously funded in part by Galois.
PROGRAM:
The list of accepted papers is now available at:
https://popl18.sigplan.org/track/CPP-2018#event-overview.
A (still tentative) program is also available.
PROGRAM COMMITTEE:
Reynald Affeldt (AIST, Japan)
June Andronick (Data61, CSIRO and UNSW, Australia), co-chair
Lennart Beringer (Princeton University, USA)
Jasmin Blanchette (Vrije Universiteit Amsterdam, Netherlands)
Sandrine Blazy (University of Rennes 1, France)
Sylvie Boldo (Inria and Université Paris-Saclay, France)
James Cheney (University of Edinburgh, UK)
Amy Felty (University of Ottawa, Canada), co-chair
Elsa Gunter (University of Illinois, USA)
Reiner Hähnle (Technical University Darmstadt, Germany)
Marieke Huisman (University of Twente, Netherlands)
Warren A. Hunt, Jr. (University of Texas Austin, USA)
Rustan Leino (Microsoft Research, USA)
Assia Mahboubi (Inria, France)
Alberto Momigliano (Università degli Studi di Milano, Italy)
Magnus Myreen (Chalmers University of Technology, Sweden)
Vivek Nigam (Federal University of Paraíba, Brazil / Fortiss, Germany)
Tobias Nipkow (Technical University Munich, Germany)
Gert Smolka (Saarland University, Germany)
Bas Spitters (Aarhus University, Denmark)
Pierre-Yves Strub (École Polytechnique, France)
Laurent Théry (Inria, France)
Josef Urban (Czech Technical University in Prague, Czech Republic)
Viktor Vafeiadis (MPI-SWS, Germany)
Stephanie Weirich (University of Pennsylvania, USA)
Last updated: Apr 19 2024 at 01:05 UTC