Steering Committee
Howard Barringer | University of Manchester |
Ezio Bartocci | Technical University of Vienna |
Saddek Bensalem (co-chair) | Verimag and University Joseph Fourier |
Ylies Falcone | University of Grenoble Alpes/INRIA Grenoble |
Klaus Havelund | NASA’s Jet Propulsion Laboratory |
Insup Lee | University of Pennsylvania |
Martin Leucker | University of Lubeck |
Giles Reger | University of Manchester |
Grigore Rosu | University of Illinois, Urbana-Champaign |
Oleg Sokolsky (co-chair) | University of Pennsylvania |