Committees

12th International Conference on integrated Formal Methods

General Chair

Marjan Sirjani (University of Reykjavik, Iceland)

Program Chairs

• Erika Abraham (RWTH Aachen University, Germany)
• Marieke Huisman (University of Twente, The Netherlands)
  

Workshop Chair

• Marcel Kyas (University of Reykjavik, Iceland)
• Wojciech Mostowski (Halmstad University, Sweden)
  

Program Committee

• Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
• Elvira Albert (Complutense University of Madrid, Spain)
• Bernd Becker (University of Freiburg, Germany)
• Clara Benac Earle (University of Madrid, Spain)
• Borzoo Bonakdarpour (McMaster University, Canada)
• Ferruccio Damiani (Università di Torino, Italy)
• Frank de Boer (CWI, The Netherlands)
• Delphine Demange (University of Rennes 1 / IRISA, France)
• Jan Friso Groote (Eindhoven University of Technology, The Netherlands)
• Dilian Gurov (KTH Royal Institute of Technology, Sweden)
• Holger Hermanns (Saarland University, Germany)
• Einar Broch Johnsen (University of Oslo, Norway)
• Peter Gorm Larsen (Aarhus University, Denmark)
• Martin Leucker (University of Lübeck, Germany)
• Dominique Mery (Université de Lorraine, France)
• Rosemary Monahan (Maynooth University, Ireland)
• Nadia Polikarpova (MIT, USA)
• César Sánchez (IMDEA Software Institute, Spain)
• Sriram Sankaranarayanan (University of Colorado Boulder, USA)
• Ina Schäfer (Technische Universität Braunschweig, Germany)
• Gerardo Schneider (University of Gothenburg, Sweden)
• Emil Sekerinski (McMaster University, Canada)
• Armando Tacchella (University of Genoa, Italy)
• Mark Utting (University of the Sunshine Coast, Australia)
• Heike Wehrheim (University of Paderborn, Germany)
• Kirsten Winter (University of Queensland, Australia)
  

Organizing Committee

TBA

Steering Committee

• Erika Abraham (RWTH Aachen University, Germany)
  
• Elvira Albert (Complutense University of Madrid, Spain)
  
• John Derrick (University of Sheffield, UK)
  
• Marieke Huisman (University of Twente, The Netherlands)
  
• Einar Broch Johnsen (University of Oslo, Norway)
  
• Dominique Mery (Université de Lorraine, France)
  
• Luigia Petre (Åbo Akademi University, Finland)
  
• Steve Schneider (University of Surrey, UK)
  
• Emil Sekerinski (McMaster University, Canada)
  
• Marjan Sirjani (University of Reykjavik, Iceland)
  
• Helen Treharne (University of Surrey, UK)
  
• Heike Wehrheim (University of Paderborn, Germany)