Name Affiliation
Adam Chlipala MIT
Alastair Donaldson Imperial College London
Alexey Gotsman IMDEA
Armando Solar-Lezama MIT
Azadeh Farzan University of Toronto
Cedric Fournet Microsoft Research
Charles Consel INRIA / University of Bordeaux
David Sands Chalmers University of Technology
Delphine Demange IRISA - University of Rennes 1
Derek Dreyer MPI-SWS
Éric Tanter Universidad de Chile
Francesco Nardelli Zappa INRIA
Gavin Bierman Oracle
Gilles Barthe IMDEA
Giorgio Ghelli Universita di Pisa
Helmut Seidl Technische Universität München
Hongseok Yang University of Oxford
Isil Dillig University of Texas
Jade Alglave University College London
Jan Vitek (chair) Northeastern University
Keshav Pingali University of Texas
Lars Birkedal Aarhus University
Luca Padovani Università di Torino
Luis Caires Universidade Nova de Lisboa
Mooly Sagiv Tel Aviv University
Peter Müller ETH Zurich
Peter Thiemann (chair) Universität Freiburg
Umut Acar Carnegie Mellon University