iFM 2025

Submission timeline

• 13 Jun 2025 Abstract registration AoE 30 May 2025 → 13 Jun 2025 +14 days
• 20 Jun 2025 Full paper AoE 6 Jun 2025 → 20 Jun 2025 +14 days
• 8 Aug 2025 Notification

• 19 Nov 2025 Conference opens

What to submit

Format

16 pages LNCS + references (research / regular / case study) / 6 pages (short)

Proceedings

Springer LNCS — Paywalled, for-profit

Artifacts

Optional EAPLS Artefact Badging.

Awards

Best paper award.

Chairs and
invited speakers

Mixed genders How this is counted

Journal

A special issue of the Formal Aspects of Computing journal is planned for extended versions of selected papers from iFM 2025.

Co-located with

FMAS 2025

Call for papers

• After a deadline extension iFM-2025-extended.txt · TXT · shown below
• As first published iFM-2025.txt · TXT

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at ifm2025.ens.psl.eu/.

The submission deadline for the iFM conference has been extended to 20 June 2025. The iFM conference series is a forum for discussing recent research advances in the development of integrated approaches to formal modelling and analysis. The conference covers all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support and the use of such techniques in software engineering practice. To credit the effort of tool developers, we use EAPLS artifact badging. The complete call for papers follows for convenience.

==========================================

iFM 2025 Call for Papers -  20th International Conference on Integrated

Formal Methods

Paris, France, November 19-21, 2025.

https://ifm2025.ens.psl.eu/

==========================================

***Objectives and scope***

In the last decades, 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. The conference covers all

aspects of the design of integrated techniques, including language design,

verification and validation, automated tool support and the use of such

techniques in software engineering practice. To credit the effort of tool

developers, we use EAPLS artifact badging.

Areas of interest include (but are not limited to):

- Formal and semi-formal modelling notations

- Combining formal methods with different performance, simulation and

system analysis techniques

- Program verification, model checking, and static analysis

- Theorem proving, decision procedures and SAT/SMT solving

- Runtime analysis, monitoring and testing

- Program synthesis

- Modelling, analysis and synthesis of cyber-physical, hybrid, embedded,

probabilistic, distributed or concurrent systems

- Abstraction and refinement

- Model learning and inference

- Approaches to integrating formal methods into software engineering

practice or industry

- Approaches to integrating formal methods into standardisation or

certification processes

- Formal methods for artificial intelligence, including machine learning

and data-based techniques

- Tools and case studies supporting the integration of formal methods

***Important Dates (AoE)***

Abstract Submission	13 June 2025

Paper Submission	20 June 2025

Author Notification	08 Aug 2025

Artifact Registration	15 Aug 2025

Artifact Submission	22 Aug 2025

Artifact Notification	19 Sep 2025

Camera-Ready Papers          26 Sep 2025

iFM 2025 main conference: 19-21 November 2025

***Paper Categories***

iFM 2025 solicits high-quality papers reporting research results and/or

experience reports related to the overall theme of formal methods

integration.

We solicit papers in the following categories:

(1) Regular papers (limit 16 pages) presenting original scientific research

results,

tools, their foundation and evaluations, applications of formal methods,

including rigorous evaluations and case studies.

(2) Short papers (limit 6 pages) describing any work in the area of formal

methods, including work-in-progress and preliminary results that are

sufficiently interesting for the iFM community.

All page limits exclude the references. Appendices may be included, but

they will only be read by a reviewer at their discretion.

Regular and short papers must be original, unpublished, and not submitted

for publication elsewhere. Papers will undergo a thorough review process.

Submissions will be judged on the basis of significance, relevance,

correctness, originality, and clarity.

The submissions will be reviewed and selected for publication based on the

above-mentioned criteria as well as suitability to the conference’s

technical program. The review process is single blind.

***Submission guidelines***

Submissions for all categories should be made using the iFM 2025 EasyChair

site:

https://easychair.org/conferences/?conf=ifm2025

Submissions must be in PDF format, using the Springer LNCS style files.

Springer requires that authors should consult Springer’s authors’

guidelines and use their proceedings templates, either for LaTeX or for

Word, for the preparation of their papers. Springer encourages authors to

include their ORCIDs in their papers. After a paper is accepted, the

corresponding author of each paper, acting on behalf of all of the authors

of that paper, must complete and sign a Consent-to-Publish form. The

corresponding author signing the copyright form should match the

corresponding author marked on the paper. Once the files have been sent to

Springer, changes relating to the authorship of the papers cannot be made.

The conference proceedings will be published in Springer’s Lecture Notes in

Computer Science series. A special issue of the Formal Aspects of Computing

journal is planned for extended versions of selected papers from iFM 2025.

All accepted papers must be presented at the conference. At least one

author of each accepted paper must register to the conference by the early

registration date.

***EAPLS Artifact Badging***

Reproducibility of experiments is crucial to foster an atmosphere of open,

reusable and trustworthy research. To improve and reward reproducibility

and to give more visibility and credit to the effort of tool developers in

our community, authors of accepted papers will be invited to submit

possible artifacts associated with their paper for evaluation, and based on

the level of reproducibility they will be awarded one or more badges. See

https://eapls.org/pages/artifact_badges/.

Artifact submission is optional and the result of the artifact evaluation

will not alter the paper’s acceptance decision.

***Best Paper***

iFM 2025 will honor the best paper selected with respect to reviews,

program committee discussions and conference presentations with an award.

***Contact***

In case of questions, please contact ifm2025@easychair.org.

Co-Located Events
The 7th International Workshop on Formal Methods for Autonomous Systems (https://fmasworkshop.github.io/) and the iFM PhD Symposium will be co-located with iFM 2025.