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 |