Program Committee Chairs
Dang Thao (Verimag/Universite Grenoble Alpes, FR)
Volker Stolz (Western Norway University of Applied Sciences, NO)
Program Committee
Benoît Barbot, LACL, Université Paris Est Créteil, France
Domenico Bianculli, U. Luxembourg, Luxembourg
Borzoo Bonakdarpour, Michigan State University, USA
Chih-Hong Cheng, Fraunhofer, Germany
Jyotirmoy Deshmukh, University of Southern California, USA
Alexandre Donzé, Decyphir SAS, Moirans, France
Yliès Falcone, University of Grenoble Alpes/INRIA Grenoble, France
Chuchu Fan, MIT, USA
Lu Feng, U. Virginia, USA
Dana Fisman, Ben-Gurion University of the Negev, Israel
Bernd Finkbeiner, CISPA, Germany
Adrian Francalanza, U. Malta, Malta
Sylvain Hallé, U. Québec à Chicoutimi, Canada
Klaus Havelund, NASA’s Jet Propulsion Laboratory, USA
Bettina Könighofer, TU Graz, Austria
Insup Lee, University of Pennsylvania, USA
Martin Leucker, U. Lübeck, Germany
Anna Lukina, TU Delft, The Netherlands
Laura Nenzi, U. Trieste, Italy
Dejan Nickovic, AIT, Austria
Gordon Pace, U. Malta, Malta
Nicola Paoletti, Royal Holloway, UK
Doron Peled, Bar-Ilan University, Israel
Giles Reger, University of Manchester, UK
José Ignacio Requeno Jarabo, U. Complutense, Spain
Indranil Saha, IIT Kanpur, India
Cesar Sanchez, IMDEA, Spain
Gerardo Schneider, U. Chalmers, Sweden
Julien Signoles, CEA, France
Oleg Sokolsky, University of Pennsylvania, USA
Hazem Torfah, UC Berkeley, USA
Dmitriy Traytel, University of Copenhagen, Denmark
Stavros Tripakis, Northeastern University, USA
Masaki Waga, Kyoto University, Japan
Wenhua Yang, Nanjing University of Aeronautics and Astronautics, China
Steering Committee (see https://runtime-verification.github.io/steering.html)
Howard Barringer, University of Manchester
Ezio Bartocci, Technical University of Vienna
Saddek Bensalem, Verimag and University Grenoble Alpes (co-chair)
Yliès Falcone, University of Grenoble Alpes/INRIA Grenoble
Klaus Havelund, NASA’s Jet Propulsion Laboratory
Insup Lee, University of Pennsylvania
Martin Leucker, University of Lübeck
Giles Reger, University of Manchester
Grigore Rosu, University of Illinois, Urbana-Champaign
Oleg Sokolsky, University of Pennsylvania (co-chair)