PROGRAM CHAIRS
Anthony W. Lin, University of Kaiserslautern-Landau and MPI-SWS
Eva Darulova, Uppsala University
Philipp Rümmer, University of Regensburg and Uppsala University
ARTIFACT EVALUATION CHAIRS
Magnus Myreen, Chalmers
Ondřej Lengál, Brno University of Technology
AREA CHAIRS
Alan Hu, University of British Columbia
Corina S. Pasareanu, NASA
David Parker, University of Oxford
Dirk Beyer, Ludwig-Maximilians-Universität München
Georg Weissenbacher, TU Wien
Joost-Pieter Katoen, RWTH Aachen
Marieke Huisman, University of Twente
Yu-Fang Chen, Academia Sinica Taiwan
WEBSITE CHAIR
PROGRAM COMMITTEE
TBA