Conference Chairs:

Alessandro Fantechi, University of Firenze, Italy

Thierry Lecomte, ClearSy, France

Alexander Romanovsky, Newcastle University, UK

Local Organisation Chair:

Veronica Bocci, DITECFER, Italy

Conference Organisation and Financial Chair:

Joan Atkinson, Newcastle University, UK (joan.atkinson@ncl.ac.uk)

Programme Committee Members:

Carlo Becheri,  ALSTOM, Italy              

Mark Behrens, Independent consultant, Germany

Andrea Bondavalli, University of Firenze, Italy

David Bonvoisin, RATP, France                              

Fares Chucri, SNCF, France                   

Simon Collart-Dutilleul, IFSTTAR, France           

Francesco Flammini, UMUC Europe, Germany

Stefania Gnesi, ISTI, Italy                      

Frank Golatowski, University of Rostock, Germany   

Anne Haxthausen, Technical University of Denmark, Denmark

Baseliyos Jacob, Deutsche Bahn, Germany       

Michael Jastram, Formal Mind, Germany

Alexei Iliasov, Newcastle University, UK            

Tim Kelly, University of York, UK         

Hironobu Kuruma, Hitachi, Japan        

Michael Leuschel, Dusseldorf University, Germany

Gianluca Mandò, Thales, Italy

Jean Marc Mota, Thales R&T, France 

Jan Peleska, Verified Systems International, Germany      

Ralf Pinger, Siemens AG. Germany   

Christophe Ponsard, CETIC, Belgium

Peter Popov, City University, UK         

Etienne Prun, ClearSy, France              

Matteo Rossi, Politecnico di Milano, Italy

Aryldo Russo, CERTIFER, France         

Balazs Saghi,  BUTE, Hungary

Kenji Taguchi, AIST, Japan  

Jaco van de Pol, University of Twente, Netherlands 

Laurent Voisin, Systerel, France          

Kirsten Winter, University of Queensland, Australia