13th International Conference on integrated Formal Methods (iFM 2017)

COMMITTEES

General Chair

• Ferruccio Damiani (University of Torino, Italy)

Program Committee Chairs

• Nadia Polikarpova (MIT, USA)
• Steve Schneider (University of Surrey, UK)

Workshops Chairs

• Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
• Michael Lienhardt (University of Torino, Italy)

PhD Symposium Program Committee Chairs

• Erika Ábrahám (RWTH Aachen University, Germany)
• Silvia Lizeth Tapia Tarifa (University of Oslo, Norway)

Finance Chair

• Sara Capecchi (University of Torino, Italy)

Publicity Chairs

• Ingrid Chieh Yu (University of Oslo, Norway)
• Christoph Seidl (TU Braunschweig, Germany)

Local Organization Chairs

• Giorgio Audrito (University of Torino, Italy)
• Luca Paolini (University of Torino, Italy)

Web Chairs

• Simone Donetti (University of Torino, Italy)
• Elisa Pecoraro (University of Torino, Italy)

Wine Chair

• Reiner Hähnle (Technical University Darmstadt, Germany)

Program Committee

• Nadia Polikarpova (MIT, USA), chair
• Steve Schneider (University of Surrey, UK), chair
• Erika Ábrahám (RWTH Aachen University)
• Elvira Albert (Complutense University of Madrid)
• Oana Andrei (School of Computing Science, University of Glasgow)
• Borzoo Bonakdarpour (McMaster University)
• Barbora Buhnova (Masaryk University)
• David Cok (GrammaTech)
• John Derrick (Unversity of Sheffield)
• Ylies Falcone (Univ. Grenoble Alpes)
• Leo Freitas (Newcastle University)
• Carlo A. Furia (Chalmers University of Technology)
• Jan Friso Groote (Eindhoven University of Technology)
• Reiner Hähnle (Technical University of Darmstadt)
• Ian J. Hayes (University of Queensland)
• Marieke Huisman (University of Twente)
• Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)
• Joseph Kiniry (Galois and Free & Fair)
• Laura Kovács (Vienna University of Technology)
• Juliana Küster Filipe Bowles (School of Computer Science, University of St Andrews)
• Axel Legay (IRISA/INRIA, Rennes)
• Rustan Leino (Microsoft Research)
• Gerald Luettgen (University of Bamberg)
• Dominique Mery (Université de Lorraine, LORIA)
• Stefan Mitsch (Carnegie Mellon University)
• Rosemary Monahan (Department of Computer Science,National University of Ireland Maynooth)
• Luigia Petre (Åbo Akademi University)
• Adrian Riesco (Universidad Complutense de Madrid)
• Gerhard Schellhorn (Universitaet Augsburg)
• Gerardo Schneider (Chalmers | University of Gothenburg)
• Emil Sekerinski (McMaster University)
• Graeme Smith (University of Queensland)
• Martin Steffen (University of Oslo)
• Armando Tacchella (Università di Genova)
• Helen Treharne (University of Surrey)
• Mark Utting (University of the Sunshine Coast)
• Frits Vaandrager (Radboud University Nijmegen)
• Heike Wehrheim (University of Paderborn)
• David Williams (Univeristy of Surrey)
• Kirsten Winter (University of Queensland)