Organisation
Program committee
Ernie Cohen, University of Pennsylvania, USA
Ewen Denney, NASA Ames, USA
Jean-Christophe Filliatre, CNRS, France
Michael Goldsmith, University of Oxford, UK
Gudmund Grov, Heriot-Watt University, UK (co-chair)
Keijo Heljanko, Aalto University, Finland
Mike Hinchey, University of Limerick, Ireland
Marieke Huisman, University of Twente, Netherlands
Andrew Ireland, Heriot-Watt University, UK (co-chair)
Gerwin Klein, NICTA/UNSW, Australia
Thierry Lecomte, ClearSy, France
Yuhui Lin, Heriot-Watt University, UK
Peter Gorm Larsen, Aarhus University, Denmark
Panagiotis (Pete) Manolios, Northeastern University, USA
Stephan Merz, INRIA Nancy & LORIA, France
Hoang Nga Nguyen, University of Nottingham, UK
Jaco van de Pol, University of Twente, Netherlands
Markus Roggenbach, Swansea University, UK
Marco Roveri, FBK, Italy
Thomas Santen, Microsoft Research, Germany
Bernard Steffen, Technical University Dortmund, Germany
Jan Strejček, Masaryk University, Czech Republic
Jun Sun, Singapore University of Technology and Design, Singapore
Tayssir Touili, CNRS & LIPN, France
Helen Treharne, University of Surrey, UK
Laurent Voisin, Systerel, France
Angela Wallenburg, Altran, UK
John Wickerson, Imperial College London, UK
Peter Ölveczky, University of Oslo, Norway
Workshop organisers
Gudmund Grov, Heriot-Watt University, UK
Andrew Ireland, Heriot-Watt University, UK
Local arrangements and publicity chair
Yuhui Lin, Heriot-Watt University, UK
Steering Committee
Michael Goldsmith, University of Oxford, UK
Stephan Merz, INRIA Nancy & LORIA, France
Markus Roggenbach, Swansea University, UK