iFM 2017

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

Objectives and Scope

Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.

Areas of interest include but are not limited to:

- Formal and semi-formal modelling notations
- Combining formal methods
- Integration of formal methods into software engineering practice
- Program verification, model checking, and static analysis
- Runtime analysis, monitoring, and testing
- Program synthesis
- Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems
- Model learning
- Theorem proving, decision procedures, SAT and SMT solving

Workshops

iFM 2017 will be accompanied by a series of workshops. Further information is available from the conference website
http://ifm2017.di.unito.it/

Conference Location

iFM 2017 is organized by the University of Turin and will take place in Turin, Italy

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 Abraham (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 Hahnle (Technical University Darmstadt, Germany)

Program Committee

Nadia Polikarpova (MIT, USA), chair
Steve Schneider (University of Surrey, UK), chair
Erika Abraham (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 Hahnle (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, Inc.)
Laura Kovacs (Vienna University of Technology)
Juliana Kuster 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 (Universite de Lorraine, LORIA)
Stefan Mitsch (Carnegie Mellon University)
Rosemary Monahan (Department of Computer Science,National University of Ireland Maynooth)
Luigia Petre (Abo 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 (Universita 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)