Deadlines expire at 23:59 American Samoan time on the dates displayed above.

• Notification:  Friday June 2, 2017
• Camera-ready copy:  Tuesday June 11, 2017
• Main Conference:  September 20-22, 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.

Submission Guidelines

iFM 2017 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration.

We solicit papers in the following categories:

• Research papers describe original scientific research results, validated by experimental results where applicable. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Limit: 15 pages.
• Case study papers report on applications of formal methods, preferably in a real world setting. A case study paper need not introduce novel techniques or tools, but it must include a rigorous empirical evaluation and potentially be of interest to practitioners. Limit: 15 pages.
• Regular tool papers present a new tool or novel extensions to an existing tool. They should provide a short description of the theoretical foundations, while focusing on the tool's design and implementation concerns, as well as empirical evaluation of its practical capabilities. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool. Authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 15 pages.
• Tool demonstration papers focus on the usage aspects of tools. Foundations and empirical evaluation are not required, but the paper should explain why the tool is relevant for the community, and, in particular, for practitioners. As with regular tool papers, authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 8 pages.

• Page limits include bibliography and any appendices. All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process.
  
  Submissions should be made using the iFM 2017 Easychair site: https://easychair.org/conferences/?conf=ifm2017. Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in the Formal Methods subline of Springer's Lecture Notes in Computer Science series.
  
  All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, to be indicated by the organizers, and present the paper.

Best Paper Prizes

We are pleased to have received generous sponsorship from Springer for two Best Paper awards of 500 EUR each. These awards will be decided by the Programme Committee, and will be announced and awarded at the conference.

Workshops

iFM 2017 will be accompanied by a series of workshops. Further information is available from the conference website.

Committees

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 Kovacs (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)

Organizing committee

• Ferruccio Damiani (University of Torino, Italy) (General Chair)
• Nadia Polikarpova (MIT, USA) (Program Chair)
• Steve Schneider (University of Surrey, UK)  (Program Chair)
• Wolfgang Ahrendt (Chalmers University of Technology, Sweden)   (Workshop Chair)
• Michael Lienhardt (University of Torino, Italy)   (Workshop Chair)
• Erika Ábrahám (RWTH Aachen University, Germany)   (PhD Symposium Program Committee Chair)
• Silvia Lizeth Tapia Tarifa (University of Oslo, Norway)   (PhD Symposium Program Committee Chair)
• Sara Capecchi (University of Torino, Italy) (Finance Chair)
• Ingrid Chieh Yu (University of Oslo, Norway)   (Publicity Chair)
• Christoph Seidl (TU Braunschweig, Germany)  (Publicity Chair)
• Giorgio Audrito (University of Torino, Italy)  (Local Organisation Chair)
• Luca Paolini (University of Torino, Italy)  (Local Organisation Chair)
• Simone Donetti (University of Torino, Italy)  (Web Chair)
• Elisa Pecoraro (University of Torino, Italy)  (Web Chair)
• Reiner Hähnle (Technical University Darmstadt, Germany)  (Wine Chair)

Invited Speakers

• Jane Hillston (University of Edinburgh, UK)
• André Platzer (CMU, USA)
• Matrin Vechev (ETH Zurich, Switzerland)

Venue

The conference will be held at the University of Turin (Torino)

Contact

All questions about submissions should be emailed to ifm2017@easychair.org