WORKSHOP ORGANISERS

Mario Gleirscher, University of Bremen, DE

Jaco van de Pol, Aarhus University, DK

Jim Woodcock, University of York, UK

PROGRAM COMMITTEE

Bernhard Aichernig, Technical University of Graz, AT

Maurice ter Beek, ISTI/CNR, Pisa, IT

Jean-Louis Boulanger, CERTIFIER, FR

Jonathan Bowen, London SBU / SWU Chongqing, UK/CN

John Fitzgerald, Newcastle University, UK

Hubert Garavel, Inria Grenoble/CONVECS, FR

Carlo Ghezzi, Politecnico di Milano, IT

Stefania Gnesi, ISTI-CNR, Pisa, IT

Anne Haxthausen, Technical University of Denmark, DK

Connie Heitmeyer, Naval Research Laboratory, US

Michael Hinchey, University of Limerick, IE

Michael Holloway, NASA Langley Research Center, US

Gerwin Klein, University of New South Wales, AU

Peter Gorm Larsen, Aarhus University, DK

Thierry Lecomte, ClearSy, FR

Stefan Leue, University of Konstanz, DE

Zhiming Liu, Northwestern Polytechnical University, CN

Colin O'Halloran, D-RisQ, UK

Jose Oliveira, University of Minho, PT

Frank Ortmeier, University of Magdeburg, DE

Jan Peleska, University of Bremen, DE

Augusto Sampaio, Universidade Federal de Pernambuco, BR

Kenji Taguchi, CAV Technologies, JP

Willem Visser, Stellenbosch University, ZA