FORTE/FMOODS 2013 Programme and Steering Committee

PC Chairs

Dirk Beyer (University of Passau, Germany)
Michele Boreale (University of Florence, Italy)

Programme 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

TBA