COMMITTEES
PROGRAM CHAIRS
LOCAL CHAIR
WEB CHAIR
PC MEMBERS
- Benoit Barbot, Univ Paris Est Creteil
- Saddek Bensalem, VERIMAG
- Domenico Bianculli, SnT Centre - University of Luxembourg
- Borzoo Bonakdarpour, Michigan State University
- Chih-Hong Cheng, Fraunhofer IKS
- Michele Chiari, Politecnico di Milano
- Thao Dang, CNRS/VERIMAG
- Jyotirmoy Deshmukh, University of Southern California
- Alexandre Donzé, Decyphir
- Georgios Fainekos, Toyota NA R
- Yliès Falcone, Univ. Grenoble Alpes
- Lu Feng, University of Virginia
- Jose Ignacio Requeno, Complutense University of Madrid
- Giles Reger, Amazon Web Services and The University of Manchester
- Julien Signoles, CEA LIST
- Oleg Sokolsky, University of Pennsylvania
- Volker Stolz, Høgskulen på Vestlandet
- Hazem Torfah, University of California at Berkeley
- Dmitriy Traytel, University of Copenhagen
- Stavros Tripakis, Northeastern University
- Wenhua Yang, Nanjing University of Aeronautics and Astronautics
- Giorgio Audrito, Unniversity of Turin
- Adrian Francalanza, University of Malta
- Sylvain Hallé, Université du Québec à Chicoutimi
- Klaus Havelund, Jet Propulsion Laboratory
- Anna Lukina, TU Delft
- Stefan Mitsch, Carnegie Mellon University
- Nicola Paoletti, Department of Informatics
- Gordon Pace, University of Malta
- Dejan Nickovic, Austrian Institute of Technology AIT
- Indranil Saha, Indian Institute of Technology Kanpur
- Cesar Sanchez, IMDEA Software Institute
- Gerardo Schneider, Chalmers | University of Gothenburg
- Masaki Waga, Kyoto University
- Doron Peled, Bar Ilan University
STEERING COMMITTEE
- Saddek Bensalem, VERIMAG
- Yliès Falcone, Univ. Grenoble Alpes
- Giles Reger, Amazon Web Services and The University of Manchester
- Oleg Sokolsky, University of Pennsylvania
- Klaus Havelund, Jet Propulsion Laboratory
- Howard Barringer, University of Manchester
- Ezio Bartocci, Technical University of Vienna
- Insup Lee, University of Pennsylvania
- Martin Leucker, University of Lübeck
- Grigore Rosu, University of Illinois, Urbana-Champaign