iFM Conference
  • Home
  • iFM 2023
  • Organization
  • History

The International Conference on integrated Formal Methods

iFM Conference

Steering Committee

The purpose of the Steering Committee is to provide continuity between one conference and the next.

Current Membership

  • Erika Ábrahám (RWTH Aachen University, Germany)
  • Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
  • Maurice H. ter Beek (ISTI-CNR, Italy)
  • Ferruccio Damiani (University of Torino, Italy)
  • John Derrick (Unversity of Sheffield, United Kingdom)
  • Brijesh Dongol (University of Surrey, United Kingdom)
  • Carlo A. Furia (Università della Svizzera Italiana (USI), Italy)
  • Paula Herber (University of Münster, Germany)
  • Marieke Huisman (University of Twente, The Netherlands)
  • Einar Broch Johnsen (University of Oslo, Norway)---chair
  • Rosemary Monahan (Maynooth University, Ireland)
  • Luigia Petre (Åbo Akademi University, Finland)
  • Nadia Polikarpova (University of California San Diego, USA)
  • Steve Schneider (University of Surrey, United Kingdom)
  • Emil Sekerinski (McMaster University, Canada)
  • Silvia Lizeth Tapia Tarifa (University of Oslo, Norway)
  • Helen Treharne (University of Surrey, United Kingdom)
  • Elena Troubitsyna (KTH Royal Institute of Technology, Sweden)
  • Heike Wehrheim (University of Paderborn, Germany)
  • Anton Wijs (Eindhoven University of Technology, Nederland)
  • Kirsten Winter (University of Queensland, Australia)

Former Members

  • Elvira Albert (Complutense University of Madrid, Spain)---serving 2015-2017
  • Dominique Méry (Université de Lorraine, France)---serving 2015-2017
  • Marjan Sirjani (University of Reykjavik, Iceland)---serving 2015-2017
  • Home
  • iFM 2023
  • Organization
  • History