ESOP 2015
Tue 14 - Thu 16 April 2015
London, United Kingdom
Toggle navigation
Attending
Venue: Queen Mary, University of London
Hotels
Sponsors
Program
ESOP Program
Your Program
Tue 14 Apr
Wed 15 Apr
Thu 16 Apr
Tracks
ESOP 2015
ESOP
Speakers
Organization
ESOP 2015 Committees
Steering Committee
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
ESOP 2019
ESOP 2015
Sign in
Sign up
ESOP 2015
(
series
) /
ESOP
/
Program Committee
ESOP
Jan Vitek
Chair
Northeastern University
Switzerland
Umut A. Acar
Committee Member
Carnegie Mellon University
Turkey
Jade Alglave
Committee Member
University College London
France
Gilles Barthe
Committee Member
IMDEA
France
Gavin Bierman
Committee Member
Oracle Labs
United Kingdom
Lars Birkedal
Committee Member
Aarhus University
Denmark
Luís Caires
Committee Member
FCT / Universidade Nova de Lisboa
Portugal
Adam Chlipala
Committee Member
MIT
United States
Charles Consel
Committee Member
University of Bordeaux / INRIA / LaBRI
France
Delphine Demange
Committee Member
IRISA / University of Rennes 1
France
Işıl Dillig
Committee Member
University of Texas, Austin
Turkey
Alastair F. Donaldson
Committee Member
Imperial College London
United Kingdom
Derek Dreyer
Committee Member
MPI-SWS
United States
Azadeh Farzan
Committee Member
University of Toronto
Iran
Cédric Fournet
Committee Member
Microsoft Research
Giorgio Ghelli
Committee Member
Universita di Pisa
Alexey Gotsman
Committee Member
IMDEA
Peter Müller
Committee Member
ETH Zurich
Luca Padovani
Committee Member
Universita di Torino
Keshav Pingali
Committee Member
University of Texas, Austin
India
Mooly Sagiv
Committee Member
Tel Aviv University
Israel
Dave Sands
Committee Member
Chalmers University of Technology
Helmut Seidl
Committee Member
Technische Universität München
Germany
Armando Solar-Lezama
Committee Member
MIT
United States
Éric Tanter
Committee Member
University of Chile
Peter Thiemann
Committee Member
University of Freiburg
Germany
Hongseok Yang
Committee Member
University of Oxford
Francesco Zappa Nardelli
Committee Member
INRIA
Italy
x
Sun 22 Dec 14:21