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