Program Committee

Chairs

Committee

  • Wolfgang Ahrendt, Chalmers University of Technology, Sweden
  • Bernhard K. Aichernig, TU Graz, Austria
  • Dirk Beyer, LMU Munich, Germany
  • Achim D. Brucker, University of Exeter, UK
  • Simon Cruanes, Imandra
  • Catherine Dubois, ENSIIE-Samovar, France
  • Cédric Eichler, INSA Centre Val de Loire, France
  • Gordon Fraser, University of Passau, Germany
  • Alex Groce, Northern Arizona Univeristy, USA
  • Klaus Havelund, Jet Propulsion Laboratory, USA
  • Chantal Keller, LRI, Université Paris-Sud, France
  • Nikolai Kosmatov, CEA List, France
  • Martin Leucker, University of Luebeck, Germany
  • Karl Meinke, KTH Royal Institute of Technology, Sweden
  • Stephan Merz, Inria Nancy, France
  • Corina Pasareanu, NASA, USA
  • François Pessaux, ENSTA Paris, France>/li>
  • Ingo Pill, Silicon Austria Labs (SAL), Austria
  • Heike Wehrheim, University of Paderborn, Germany
  • Burkhart Wolff, Univ Paris-Sud, France
  • Nina Yevtushenko, Ivannikov Institute for System programming of RAS, Russia
  • Artifact Evaluation Committee

    Chairs

    Committee

    Steering Committee