Reproducibility of experiments is crucial to foster an atmosphere of open, reusable and trustworthy research. To improve and reward reproducibility, iFM 2022 introduces an optional artifact evaluation process for accepted papers. The goal of the artifact evaluation is manifold. We want to encourage authors to provide more substantial evidence to their papers and to reward authors who aim for reproducibility of their results, i.e., create artifacts. Also, we want to give more visibility and credit to the effort of tool developers in our community.

Objectives and scope In recent years, 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.

General Chair Carlo A. Furia (USI Università della Svizzera italiana, Switzerland) Program Committee Chairs Maurice H. ter Beek (ISTI-CNR, Italy) Rosemary Monahan (Maynooth University, Ireland) Journal First Track Chairs Ferruccio Damiani (University of Torino, Italy) Marieke Huisman (University of Twente, Netherlands) Artifact Evaluation Committee Chairs Alessio Ferrari (ISTI-CNR, Italy) Marie-Christine Jakobs (TU Darmstadt, Germany) PhD Symposium Chairs Marie Farrell (Maynooth University, Ireland) João F. Ferreira (University of Lisbon, Portugal) Local Organizers Web Chair Mohammad Rezaalipour (USI Università della Svizzera italiana, Switzerland)

For questions about the local organization of iFM 2022 you can contact the organizers through the email address ifm22@usi.ch. For questions about the scientific program and call for papers you should contact the PC chairs.

Paper submission: Jan. 21, 2022 Paper submission: Jan. 28, 2022 Paper submission: Feb. 11, 2022 Paper notification: Mar. 18, 2022 Artefact submission: Mar. 28, 2022 Artefact notification: Apr. 15, 2022 Camera-ready: Apr. 15, 2022 Early registration (main conference): 4 May 2022 Late registration (main conference, in person): 23 May 2022 iFM conference: Jun.

Speaker: Yamine Aït-Ameur INPT-ENSEEIHT, France Title: Empowering the Event-B method using external theories Abstract: Recent Event-B method extensions enable the definition of external theories. These theories are particularly useful for defining generic data types and associated operators, as well as for proving theorems that formalize their properties. They can be used in Event-B developments to model complex systems behaviours as contexts and machines. Axioms and theorems borrowed from these theories are useful to discharge designed models proof obligations and contribute to reduce the proof effort as theorems of the theories are proved once and for all.

PhD-iFM'22 Welcome to the homepage of PhD-iFM'22, a PhD Symposium at the 17th International Conference on integrated Formal Methods (iFM), which will take place on the 7th of June 2022 in beautiful Lugano, Switzerland. Scope The theory, implementation, integration or application of formal methods in a broad sense. Symposium Co-Chairs Marie Farrell (Maynooth University, Ireland) João F. Ferreira (INESC-ID & IST, University of Lisbon, Portugal) Program Committee Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Clare Dixon (The University of Manchester, UK) Angelo Ferrando (Università degli Studi di Genova, Italy) Alexandra Mendes (HASLab - INESC TEC / FEUP, University of Porto, Portugal) Ivan Perez (NIA / NASA, USA) Maike Schwammberger (University of Oldenburg, Germany) Graeme Smith (The University of Queensland, Australia) Important Dates Paper submission: March 1, 2022 March 4, 2022 Author notification: April 1, 2022 Camera-ready: April 15, 2022 Symposium date: June 7, 2022 Schedule 09:00 - 09:10 Welcome and Introduction

7 June 2022 PhD Symposium (D1.14) IVOIRE workshop (D1.15) 8 June 2022 Main conference (C1.03) 9 June 2022 Main conference (C1.03) 10 June 2022 (until lunch) Main conference (C1.03) Detailed programs Main conference PhD symposium IVOIRE workshop Social events Information for attendees iFM (main conference and co-located events) will take place in the East Campus (https://goo.

On this page, you can find general information about iFM 2022’s registration rates, as well as links to the registration system. Main conference (8-10 June 2022) To register for the main conference, go here: https://usi.swicket.ch/event/ifm2022 The registration rates for the main conference are as follows: Early registration rate Late registration rate In-person: author/full CHF 500 CHF 600 In-person: student (non-author) CHF 350 CHF 450 Virtual: author CHF 200 Virtual: attendee CHF 100 CHF 100 Early registration deadline: 4 May 2022 Late registration deadline (for in-person participation): 23 May 2022 One author per accepted paper has to register at the author rate (in-person or virtual) by the early registration deadline.

iFM’s social dinner: Thursday, 9 June The social dinner will begin at 19:30 at the restaurant Piccolo Vigneto (https://g.page/Piccolovigneto?share) located halfway on Monte Bré – a small mountain just outside Lugano on its east side. From there, one can enjoy a view of the city and the lake from the sunniest location in Switzerland. How to reach the restaurant By bus: Your registration to iFM includes a return ticket to reach the restaurant using public transport.

iFM 2022 will take place in the East Campus of USI Università della Svizzera Italiana in beautiful Lugano, Switzerland. The brand-new East Campus is a 20-minute walk from the center of Lugano, and about 1.7 km from Lugano’s train station. The conference will use classrooms C1.04 and C1.03 on the first floor of the campus in sector C (on the north side). You will find signs that direct you there as you enter the campus’s large open courtyard.