Conference Committee
Program Co-Chairs
Dirk Beyer, University of Passau, Germany
Michele Boreale, University of Florence, Italy
Program Committee
Sven Apel, University of Passau, Germany
Saddek Bensalem, VERIMAG, France
Dirk Beyer, University of Passau, Germany
(Co-Chair)
Michele Boreale, Università di Firenze, Italy
(Co-Chair)
Tevfik Bultan, University of California at Santa Barbara, USA
Luis Caires, Universidade Nova de Lisboa, Portugal
Mariangiola Dezani-Ciancaglini, Università di Torino, Italy
Jürgen Dingel, Queen's University, Canada
Simon Gay, University of Glasgow, UK
Holger Giese, University of Potsdam, Germany
Kim Guldstrand Larsen, Aalborg University, Danmark
Arie Gurfinkel, Software Engineering Institute, USA
Matthew Hennessy, Trinity College Dublin, Ireland
Paola Inverardi, Università dell'Aquila, Italy
Alan Jeffrey, Bell Labs, USA
Joost-Pieter Katoen, RWTH Aachen University, Germany
Vladimir Klebanov, Karlsruhe Institute of Technology, Germany
Axel Legay, IRISA/INRIA at Rennes, France
Matteo Maffei, Saarland University, Germany
Uwe Nestmann, TU Berlin, Germany
Mauro Pezzè, University of Lugano, Switzerland
Corneliu Popeea, TU Munich, Germany
Sophie Quinton, TU Braunschweig, Germany
Jan Rutten, CWI, Netherlands
Geoffrey Smith, Florida International University, USA
Jaco Van De Pol, University of Twente, Netherlands
Helmut Veith, Vienna University of Technology, Austria
Martin Wirsing, Ludwig-Maximilians-University Munich, Germany
Nobuko Yoshida, Imperial College London, UK
Gianluigi Zavattaro, University of Bologna, Italy
Steering Committee (after 2013 conference)
Jean-Bernard Stefani (Chair, elected member)
Frank de Boer (elected member)
Einar Broch Johnsen (elected member)
Heike Wehrheim (elected member)
Roberto Bruni (rotating member, 2011-2014)
Jürgen Dingel (rotating member, 2011-2014)
Holger Giese (rotating member, 2012-2015)
Grigore Rosu (rotating member, 2012-2015)
Dirk Beyer (rotating member, 2013-2016)
Michele Boreale (rotating member, 2013-2016)