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