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) ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info