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