Scope of Interest

iFS focuses on methodological advances for software and systems engineering spanning formal methods and other systematic approaches to achieve the next levels of quality.

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