[TYPES/announce] CPP 2018 Call for participation: early registration deadline December 10

[Amy Felty]

             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)