International Conference on integrated Formal Methods (iFM 2022)

Software Institute

Start date: 7 June 2022 / 08:00

End date: 10 June 2022 / 18:00

Broadening the adoption and applicability of formal methods hinges on being able to combine different formalisms and different analysis techniques. The Integrated Formal Methods (iFM) conference series targets research in formal approaches that combine different methods for modeling and analysis. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

The USI East Campus will host the 17th edition of iFM on June 7-10, 2022, organized by the Software Institute's Prof. Carlo A. Furia. The program chairs Dr. Maurice ter Beek and Prof. Rosemary Monahan have selected an exciting program including 16 paper presentations and 3 keynotes by Prof. Yamine Aït-Ameur, Prof. Roderick Bloem, and Dr. Louise Dennis on topics that range from the modeling of hybrid systems to side-channel analysis, and verifying autonomous systems.

This will be the second consecutive edition of iFM organized by the Software Institute: the 16th edition took place in November 2020 in a purely virtual form. In contrast, iFM 2022 will follow a hybrid format, with a regular in-person program complemented by online streaming for the participants who are unable to travel to Lugano.

For information about the conference and how to participate please visit the official website.