General Chair
Program Committee Chairs
Program Committee
- Wolfgang Ahrendt, Chalmers University of Technology, Sweden
- Timothy Bourke, Inria Paris & ENS | Université PSL, France
- Giovanna Broccia, ISTI-CNR, Italy
- Carlos E. Budde, Technical University of Denmark, Denmark
- Ivana Černá, Masaryk University, Czech Republic
- Alessandro Cimatti, Fondazione Bruno Kessler, Italy
- John Derrick, University of Sheffield, United Kingdom
- Jyotirmoy V. Deshmukh, University of Southern California, USA
- Brijesh Dongol, University of Surrey, United Kingdom
- Claire Dross, AdaCore, France
- Jérôme Feret, Inria Paris & ENS | Université PSL, France
- Simon Foster, University of York, United Kingdom
- Carlo A. Furia, Università della Svizzera Italiana, Switzerland
- Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology, United States
- Paula Herber, University of Münster, Germany
- Heber Herencia-Zapana, Collins Aerospace, United States
- Marieke Huisman, University of Twente, Netherlands
- Inigo Incer, University of Michigan, United States
- Fuyuki Ishikawa, National Institute of Informatics, Japan
- Xiaoqing Jin, Apple, United States
- Einar Broch Johnsen, University of Oslo, Norway
- Sebastian Junges, Radboud University, Netherlands
- Joseph Kiniry, Galois, Inc. (United States)
- Nikolai Kosmatov, Thales Research & Technology, France
- Thierry Lecomte, ClearSy, France
- Michael Leuschel, University of Düsseldorf, Germany
- Edoardo Manino, University of Manchester, United Kingdom
- Anastasia Mavridou, KBR, Inc. / NASA Ames Research Center, United States
- Dominique Mery, Université de Lorraine, France
- Stephan Merz, Inria Nancy, France
- Rosemary Monahan, Maynooth University, Ireland
- Mariano Moscato, AMA, Inc. / NASA Langley Research Center, United States
- Mohammad Reza Mousavi, King’s College London, United Kingdom
- Luca Paolini, Università degli Studi di Torino, Italy
- Violet Ka I Pun, Western Norway University of Applied Sciences, Norway
- Juliane Päßler, University of Oslo, Norway
- Luciana Rebelo, Gran Sasso Science Institute, Italy
- Peter Riviere, Japan Advanced Institute of Science and Technology, Japan
- David Šafránek, Masaryk University, Czech Republic
- Gerhard Schellhorn, Universitaet Augsburg, Germany
- Silvia Lizeth Tapia Tarifa, University of Oslo, Norway
- Maurice H. ter Beek, ISTI-CNR, Italy
- Mattias Ulbrich, Karlsruhe Institute of Technology, Germany
- Petra van den Bos, University of Twente, Netherlands
- Heike Wehrheim, University of Oldenburg, Germany
- Anton Wijs, Eindhoven University of Technology, Netherlands
- Burkhart Wolff, Université Paris-Saclay, France
- Naijun Zhan, Peking University, China
Publicity Chair