Invited Speakers

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)

 

 

Who's online

We have 102 guests and no members online

Site Hosted by

ETAPS 2013

logo_sapienza