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