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

- **Submission deadline**: 2026-10-15
- **Notification date**: 2026-12-22
- **Conference date**: 2027-04-10
- **Location**: Copenhagen, Denmark
- **Conference Partner Index**: 44.0/100 (ranked #3225, confidence 0.25, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 0
- **Attendees**: 0
- **Canonical page**: https://www.myhuiban.com/conference/5527

## Call for papers

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

## Related conferences

- SEFM — International Conference on Software Engineering and Formal Methods — https://www.myhuiban.com/conference/944
- FormaliSE — International Conference on Formal Methods in Software Engineering — https://www.myhuiban.com/conference/3047
- FMICS — International Conference on Formal Methods for Industrial Critical Systems — https://www.myhuiban.com/conference/947
- SOFTFM — International Conference on Software Engineering Advances and Formal Methods — https://www.myhuiban.com/conference/4435
- FMOODS — International Conference on Formal Methods for Open Object-based Distributed Systems — https://www.myhuiban.com/conference/250

## Related journals

- Foundations of Computational Mathematics — https://www.myhuiban.com/journal/479
- Optimization Methods and Software — https://www.myhuiban.com/journal/929
- IEEE Transactions on Multimedia — https://www.myhuiban.com/journal/152
- Knowledge-Based Systems — https://www.myhuiban.com/journal/227
- Software & Systems Modeling — https://www.myhuiban.com/journal/99

---
Source: Conference Partner — https://www.myhuiban.com/conference/5527 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)