Unifying speaker 1:
Gilles Barthe (Fundación IMDEA Software, Madrid, Spain)
Unifying speaker 2:
Cedric Fournet (Microsoft Research, Cambridge, UK)
CC invited speaker:
Emery Berger (Univ. of Mussachusetts, Amherst, USA)
ESOP invited speaker:
Mark S. Miller (Google Research, USA)
FASE invited speaker:
Krzysztof Czarnecki (Univ. of Waterloo, Canada)
FOSSACS invited speaker:
Martin Hofmann (Univ. of Munich, Germany)
POST invited speaker:
Jean-Pierre Hubaux (EPFL, Losanna, Switzerland)
TACAS invited speaker:
Orna Grumberg (Technion, Haifa, Israel)