All conferences / ICFEM / 2026

ICFEM 2026

27th International Conference on Formal Engineering Methods

Held17–20 Nov 2026 WhereSouthampton 🏴󠁧󠁢󠁥󠁮󠁧󠁿 RankCORE C Website icfem2026.github.io/ ↗

Submission timeline

22 Jun 2026 Abstract registration AoE ~~1 Jun 2026~~ → 22 Jun 2026 +21 days
22 Jun 2026 Full paper AoE ~~8 Jun 2026~~ → 22 Jun 2026 +14 days
8 Aug 2026 Notification

17 Nov 2026 Conference opens

What to submit

Format: 16 pages LNCS + bibliography (regular paper)
Proceedings: Springer LNCS — Paywalled, for-profit
Chairs and invited speakers: Mixed genders
chairs 3 men, 0 womeninvited speakers 2 men, 2 women
How this is counted
Journal: Invited extended versions of selected papers will be recommended to a special issue of Formal Aspects of Computing after the conference proceedings.
Co-located with: FMAS 2026

Also journal-first presentations. Doctoral symposium.

Call for papers

After a deadline extension ICFEM-2026-extended.txt · TXT · shown below
As first published ICFEM-2026.txt · TXT

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at icfem2026.github.io/.

The 27th International Conference on Formal Engineering Methods (ICFEM)

17–20 November 2026 , Southampton, UK

https://icfem2026.github.io/

ICFEM is an internationally leading conference series in formal methods and software engineering. Since 1997, ICFEM has served as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners from industry, academia, and government are encouraged to attend, present their research, and help advance the state of the art. ICFEM is interested in work that has been incorporated into real production systems, as well as in theoretical work that promises to bring practical and tangible benefits. ICFEM has been hosted in many countries around the world.
This year, the 27th International Conference on Formal Engineering Methods will be held in Southampton, UK. ICFEM 2026 welcomes submissions from researchers and practitioners worldwide to advance the field of formal methods and software engineering.

Important Dates (AoE):

    Abstract submission: 15 June 2026

    Full paper submission: 22 June 2026

    Notification: 8 August 2026

    Camera-ready: 7 September 2026

    Conference: 17–20 November 2026

More information and submission details:
https://icfem2026.github.io/

Co-located Workshop: The Eighth International Workshop on Formal Methods for Autonomous Systems (FMAS 2026)
https://fmasworkshop.github.io/FMAS2026/

Where

Loads tiles from OpenStreetMap, which will see your IP address.

Southampton, England 🏴󠁧󠁢󠁥󠁮󠁧󠁿

Acceptance rate

0%30%60%

2024 44% 22/50
2023 38% 13/34
2022 38% 23/61
2018 33% 22/66
2017 35% 28/80
2016 42% 27/64
2015 33% 27/82
2014 30%
2012 36%
2011 30% 31/103
2009 30% 36/121

Scale runs to 60%; the mid-line marks 30%. No figure published for 2019, 2020, 2025, 2026.

Nearby editions

Previous: ICFEM 2025 — Hangzhou 🇨🇳
Next: Not yet announced
Series: All 15 listed editions of ICFEM →

Elsewhere

DBLP: icfem ↗
CORE: portal entry 1031 ↗
Calendar: Subscribe to ICFEM
Data: This series as JSON

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.