Program Committee

Jeremy Avigad, Carnegie Mellon University (chair)
Assia Mahboubi, Inria (chair)
Andreas Abel, Gothenburg University
Benedikt Ahrens, University of Birmingham
June Andronick, CSIRO|Data61 and UNSW
Adam Chlipala, Massachusetts Institute of Technology
Jasmin Christian Blanchette, Vrije Universiteit Amsterdam
Thierry Coquand, Chalmers University of Technology
Karl Crary, Carnegie Mellon University
Delphine Demange, IRISA / University of Rennes 1
Timothy Griffin, University of Cambridge
Thomas Hales, University of Pittsburgh
John Harrison, Amazon Web Services
Johannes Hölzl, Vrije Universiteit Amsterdam
Chung-Kil Hur, Seoul National University
Jacques-Henri Jourdan, LRI, CNRS, Université Paris-Sud
Cezary Kaliszyk, University of Innsbruck
Ambrus Kaposi, Eötvös Loránd University, Budapest
Chantal Keller, LRI, CNRS, Université Paris-Sud
Panagiotis Manolios, Northeastern University
Mariano Moscato, National Institute of Aerospace
Leonardo de Moura, Microsoft Research
Magnus O. Myreen, Chalmers University of Technology
Tobias Nipkow, Technische Universität München
Lawrence Paulson, University of Cambridge
André Platzer, Carnegie Mellon University
Andrei Popescu, Middlesex University London
Matthieu Sozeau, Inria
Pierre-Yves Strub, École Polytechnique
Enrico Tassi, Inria
Zachary Tatlock, University of Washington
Laurent Théry, Inria
Cesare Tinelli, The University of Iowa
Alwen Tiu, Australian National University
Makarius Wenzel, sketis.net
Freek Wiedijk, Radboud University Nijmegen