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