iFS International Conference on Foundations and Formal Methods for Software and Systems

iFS focuses on methodological advances for software and systems engineering to achieve the next levels of quality. The scope of the conference spans formal methods and other systematic approaches for the creation and analysis of software and systems, such as requirements and specification, design, construction, verification, and testing. Research presented at iFS introduces, advances, or investigates individual as well as integrated methods, and is supported by rigorous evidence, like proofs or trustworthy experiments.

iFS solicits contributions that address foundations and formal methods as well as tool support for among others:

• Requirements, specification, modeling, design, and synthesis of software and systems
• Integrated methods combining verification, testing, simulation, etc.
• Formal verification and analysis, e.g., program verification, model checking, static analysis, theorem proving, decision procedures, SAT and SMT solving
• Formal and semi-formal modeling languages and notations
• Integration of heterogeneous modeling languages and notations
• Models and relations between abstractions for system design and analysis
• AI for software and systems engineering and software and systems engineering for AI
• Methods for supporting the evolution of software and systems
• Ethical aspects of software and systems engineering
• Integration of methods into engineering practice

iFS is the continuation of the established iFM and FASE conference series, with its first edition at ETAPS 2027 in Copenhagen. By joining forces, we combine and broaden the scopes of iFM and FASE, with the goal to offer a new, strong venue about Foundations and Formal Methods for Software and Systems to the community.

The iFM conference series (Integrated Formal Methods) started in 1999 and ended in 2025 with its 20th edition. iFM conferences have sought to further research into integrative, hybrid approaches to formal modeling and analysis of software-intensive systems. One observes the iFM influence on iFS in particular on the iFS interest on integrated methods and on systems engineering.

While FASE (Fundamental Approaches to Software Engineering) started in 1998 and ended in 2026 with its 29th edition, its origin is even earlier. FASE builds on the traditions of Colloquium on Software Engineering, of the Advanced Seminar on Foundations of Innovative Software Development, and the Colloquium on Formal Approaches of Software Engineering organized as part of the TAPSOFT brand until 1997. FASE conferences have been concerned with the foundations on which software engineering is built. Foundations include formal methods but also systematic approaches. Therefore, one e.g., observes the FASE influence on iFS in the interest of not only formal but also systematic approaches.

For more details please visit the current conference website.

For the past proceedings of iFM visit this page.
For the past proceedings of FASE visit this page.
For the past proceedings of TAPSOFT visit this page.

• Wolfgang Ahrendt (Chalmers University of Technology, Sweden) — chair
• Marie-Christine Jakobs (Ludwig-Maximilians-Universität München, Germany) — deputy chair

• Erika Ábrahám (RWTH Aachen University, Germany)
• Artur Boronat (University Leicester)
• Marsha Chechik (University of Toronto, Canada)
• Carlo Furia (Università della Svizzera Italiana (USI), Italy)
• Reiner Hähnle (Technische Universität Darmstadt, Germany)
• Marieke Huisman (University of Twente, The Netherlands)
• Einar Broch Johnsen (University of Oslo, Norway)
• Tiziana Margaria (University of Limerick, Ireland) — EASST representative
• Alexander Knapp (Universität Augsburg, Germany)
• Rosemary Monahan (Maynooth University, Ireland)
• Maurice ter Beek (ISTI-CNR, Italy)
• Andrzej Wąsowski (IT University of Copenhagen, Denmark)
• Heike Wehrheim (University of Oldenburg, Germany)