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)