Committees

General chair

  • Jos Baeten, CWI, Amsterdam, The Netherlands

PC-chairs

  • Kim Larsen, Aalborg University, Denmark
  • Tim Willemse, Eindhoven University of Technology, The Netherlands

Programme Committee (confirmed)

  • Bernhard Aichernig, TU Graz
  • Giovanni Bacci, Aalborg University
  • Jiri Barnat, Masaryk University
  • Jörg Brauer, Verified Systems International GmbH
  • Ana Cavalcanti, University of York
  • Michael Fisher, University of Liverpool
  • Wan Fokkink, Vrije Universiteit Amsterdam
  • Maria-Del-Mar Gallardo, University of Malaga
  • Hubert Garavel, INRIA
  • Anne Haxthausen, Technical University of Denmark
  • Peter Höfner, CSIRO
  • Jozef Hooman, TNO-ESI/Radboud University Nijmegen
  • Falk Howar, Dortmund University of Technology/Fraunhofer ISST
  • Jeroen Keiren, Eindhoven University of Technology
  • Zhiming Liu, Southwest University
  • Tiziana Margaria, Lero
  • Peter Ölveczky, University of Oslo
  • Charles Pecheur, Université Catholique de Louvain
  • Matteo Rossi, Politecnico di Milano
  • Cristina Seceleanu, Mälardalen University
  • Scott Smolka, Stony Brook University
  • Maurice ter Beek, ISTI-CNR
  • Helen Treharne, University of Surrey
  • Jaco van de Pol, Aarhus University

Steering Committee