Committees

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