Objectives and Scope

In the last decades, we have witnessed a proliferation of approaches that
integrate several modelling, verification and simulation techniques,
facilitating more versatile and efficient analysis of software-intensive
systems. These approaches provide powerful support for the analysis of
different functional and non-functional properties of the systems, complex
interaction of components of different nature as well as validation of
diverse aspects of system behaviour. The iFM conference series is a forum
for discussing recent research advances in the development of integrated
approaches to formal modelling and analysis. The conference covers all
aspects of the design of integrated techniques, including language design,
verification and validation, automated tool support and the use of such
techniques in software engineering practice. To credit the effort of tool
developers, we use EAPLS artifact badging.

General Chair

• Caterina Urban, Inria & ENS | PSL, France

Program Committee Chairs

• Ferruccio Damiani, Università degli Studi di Torino, Italy
• Marie Farrell, University of Manchester, UK

Publicity Chair

• Giorgio Audrito, Università degli Studi di Torino, Italy

The conference will be hosted by the Inria Paris Center, located at

48 Rue Barrault
75013 Paris
France

© Inria / Photo L. Moreno