| 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 |