General Chair
iFM 2023 Program Committee Chairs
- Paula Herber (University of Münster, Germany)
- Anton Wijs (Eindhoven University of Technology, The Netherlands)
Artifact Evaluation Committee Chairs:
PhD Symposium Chairs
FMAS 2023 Workshop Chairs
Publicity Chair
iFM 2023 Program Committee
- Wolfgang Ahrendt (Chalmers University, Sweden)
- Maurice H. ter Beek (ISTI-CNR, Italy)
- Petra van den Bos (University of Twente, The Netherlands)
- Alessandro Cimatti (University of Trento, Italy)
- David Safranek (Masaryk University, Czech Republic)
- Pedro D’Argenio (Universidad Nacional de Córdoba, Spain)
- Richard DeFrancisco (Augusta University, Georgia, USA)
- John Derrick (University of Sheffield, United Kingdom)
- Claire Dross (AdaCore, France)
- Karine Even-Mendoza (King’s College London, United Kingdom)
- Marie Farrell (University of Manchester, United Kingdom)
- Carlo A. Furia (Universita della Svizzera italiana, Switzerland)
- Dilian Gurov (KTH Stockholm, Sweden)
- Marieke Huisman (University of Twente, The Nethrlands)
- Sebastian Junges (Radboud University, The Netherlands)
- Einar Broch Johnson (University of Oslo, Norway)
- Nikolai Kosmatov (CEA List, CEA Saclay, France)
- Alfons Laarman (Leiden University, The Netherlands)
- Martin Leucker (University of Lübeck, Germany)
- Rosemary Monahan (Maynooth University, Ireland)
- Thomas Neele (Eindhoven University of Technology, The Netherlands)
- Wytse Oortwijn (TNO, The Netherlands)
- Jun Pang (University of Luxembourg, Luxembourg)
- Luigia Petre (Åbo Akademi University, Finland)
- Giles Reger (Amazon Web Services and University of Manchester, United Kingdom)
- Anne Remke (University of Münster, Germany)
- Thomas Santen (Formal Assurance, Germany)
- Ina Schäfer (Karlsruhe Institute of Technology, Germany)
- Ana Sokolova (University of Salzburg, Germany)
- Silvia Lizeth Tapia Tarifa (University of Oslo, Norway)
- Heike Wehrheim (University of Oldenburg, Germany)
- Kirsten Winter (University of Queensland, Australia)
- Naijun Zhan (Chinese Academy of Sciences, P.R. of China)
Artifact Evaluation Committee
- Sharar Ahmadi (University of Surrey, United Kingdom)
- Davide Basile (ISTI CNR, Italy)
- César Cornejo (Universidad Nacional de Rio Cuarto, Argentina)
- Mathias Fleury (University of Freiburg, Germany)
- Lars B. van den Haak (Eindhoven University of Technology, The Netherlands)
- Mario Frank (University of Potsdam, Germany)
- Emilio Incerto (IMT School for Advanced Studies Lucca, Italy)
- Maurice Laveaux (Eindhoven University of Technology, The Netherlands)
- Yong Li (Institute of Software, Chinese Academy of Sciences, P.R. of China)
- Anik Momtaz (Michigan State University, USA)
- Andres Noetzli (Cubist, Inc., USA)
- Danilo Pianini (University of Bologna, Italy)
- Cedric Richter (Carl von Ossietzky University of Oldenburg, Germany)
- Mouhammad Sakr (University of Luxembourg, Luxembourg)
- Dimitrios Thanos (Leiden University, The Netherlands)
PhD Symposium Program Committee
- Elvira Albert (Complutense University of Madrid, Spain)
- Eduard Kamburjan (University of Oslo, Norway)
- Ondrej Lengal (Brno University of Information Technology, Czech Republic)
- Anna Lukina (Technical University of Delft,the Netherlands)
- Andrei Paskevich (Paris-Saclay University, France)
- Chris Poskitt (Singapore Management University, Singapore)
- José Proença (CISTER Lab, ISEP, Portugal)
- Elvinia Riccobene (Università degli Studi di Milano, Italy)
- Dominic Steinhöfel (CISPA Helmholtz Center for Information Security, Germany)
FMAS 2023 Program Committee