Program Committee

  • Wolfgang Ahrendt, Chalmers University of Technology
  • Howard Barringer, The University of Manchester
  • Ezio Bartocci, Vienna University of Technology
  • Andreas Bauer, KUKA
  • Eric Bodden, Paderborn University and Fraunhofer IEM
  • Borzoo Bonakdarpour, Iowa State University
  • Christian Colombo, University of Malta (benchmark track co-chair)
  • Ylies Falcone, Univ. Grenoble Alpes, CNRS, Inria
  • Lu Feng, University of Virginia
  • Bernd Finkbeiner, Saarland University (co-chair)
  • Adrian Francalanza, University of Malta
  • Radu Grosu, TU Vienna
  • Sylvain Hallé, Université du Québec à Chicoutimi
  • Klaus Havelund, Jet Propulsion Laboratory
  • Catalin Hritcu, INRIA
  • Felix Klaedtke, NEC Labs Europe
  • Axel Legay, UCLouvain
  • David Lo, Singapore Management University
  • Leonardo Mariani, University of Milano Bicocca (co-chair)
  • Viviana Mascardi, DIBRIS, University of Genova
  • Dejan Nickovic, Austrian Institute of Technology AIT
  • Ayoub Nouri, Huawei Research France
  • Gordon Pace, University of Malta
  • Doron Peled, Bar Ilan University
  • Ka I Pun, Western Norway University of Applied Sciences
  • Jorge A. Pérez, University of Groningen
  • Giles Reger, The University of Manchester (benchmark track co-chair)
  • Grigore Rosu, University of Illinois at Urbana-Champaign
  • Kristin Yvonne Rozier, Iowa State University
  • Cesar Sanchez, IMDEA Software Institute
  • Gerardo Schneider, University of Gothenburg
  • Nastaran Shafiei, NASA Ames Research Center/SGT
  • Julien Signoles, CEA LIST
  • Scott Smolka, Stony Brook University
  • Oleg Sokolsky, University of Pennsylvania
  • Bernhard Steffen, Univ Dortmund
  • Scott Stoller, Stony Brook University
  • Volker Stolz, Høgskulen på Vestlandet
  • Neil Walkinshaw, The University of Sheffield
  • Chao Wang, University of Southern California
  • Xiangyu Zhang, Purdue University