Chairs and Organizers
Jasmin Christian Blanchette, Inria Nancy – Grand-Est, LORIA & MPII Saarbrücken
Stephan Merz, Inria Nancy – Grand-Est & LORIA
Regular Members
Andrea Asperti, University of Bologna
Jeremy Avigad, Carnegie Mellon University
Yves Bertot, Inria Sophia Antipolis – Méditerranée
Lars Birkedal, Aarhus University
Adam Chlipala, MIT
Nils Anders Danielsson, University of Gothenburg & Chalmers University of Technology
Amy Felty, University of Ottawa
Herman Geuvers, Radboud University Nijmegen
Georges Gonthier, Microsoft Research
John Harrison, Intel
Hugo Herbelin, Inria Paris – Rocquencourt
Cătălin Hriţcu, Inria Paris – Rocquencourt
Cezary Kaliszyk, University of Innsbruck
Matt Kaufmann, University of Texas at Austin
Gerwin Klein, NICTA & UNSW
Xavier Leroy, Inria Paris – Rocquencourt
Andreas Lochbihler, ETH Zurich
Frédéric Loulergue, LIFO, Université d’Orleans
Assia Mahboubi, Inria Saclay – Île-de-France
Panagiotis Manolios, Northeastern University
Magnus O. Myreen, Chalmers University of Technology
Adam Naumowicz, University of Bialystok
Tobias Nipkow, Technische Universität München
Michael Norrish, NICTA
Sam Owre, SRI International
Christine Paulin-Mohring, Université Paris-Sud
Lawrence Paulson, University of Cambridge
Andrei Popescu, University of Middlesex
Gert Smolka, Saarland University
Matthieu Sozeau, Inria Paris – Rocquencourt
René Thiemann, University of Innsbruck
Laurent Théry, Inria Sophia Antipolis – Méditerranée
Andrew Tolmach, Portland State University
Christian Urban, King’s College London
Viktor Vafeiadis, MPI-SWS
