FMICS

International Conference on Formal Methods for Industrial Critical Systems

Editions listed12 Covered2015–2026 Rank nowCORE C

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2026	31	2–4 Sep 2026	Liverpool 🏴󠁧󠁢󠁥󠁮󠁧󠁿	17 Apr	—	—
2025	30	25–30 Aug 2025	Aarhus 🇩🇰	11 Apr +7 days	—	—
2024	29	9–11 Sep 2024	Milan 🇮🇹	8 May +7 days	14 / 22	64%
2023	28	20–22 Sep 2023	Antwerp 🇧🇪	28 May +13 days	14 / 24	58%
2022	27	14–16 Sep 2022	Warsaw 🇵🇱	26 May +14 days	13 / 22	59%
2021	26	23–27 Aug 2021	Online	14 May	—	—
2020	25	2–3 Sep 2020	Virtual (Vienna 🇦🇹	29 May +14 days	—	—
2019	24	30–31 Aug 2019	Amsterdam 🇳🇱	3 May +7 days	—	—
2018	23	3–4 Sep 2018	Maynooth University 🇮🇪	11 May +14 days	—	—
2017 Held jointly	22		—	—	—	—
2016 Held jointly	21		—	—	—	—
2015	20	22–23 Jun 2015	Oslo 🇳🇴	26 Jan	—	—

A missing year does not mean the conference did not meet: coverage before 2015 has not been verified.

Acceptance rate over time

0%30%60%

2024 64% 14/22
2023 58% 14/24
2022 59% 13/22

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

CORE rank over time

C 2015–

Only the current rank is recorded; earlier rounds have not been checked.

Deadline habits

Extended: 7 of 7 editions
Typical: 7–14 days
Longest: 14 days
Not known: 3 editions

An edition counts as firm only when it was checked; a deadline with no earlier date recorded is counted as not known, not as firm.

Elsewhere

DBLP: fmics ↗
CORE: portal entry 839 ↗
Calendar: Subscribe to FMICS
Data: All editions as JSON

Notes carried over

Acceptance: 38% (16 regular + 2 tools /47) in 2006, 59% (13/22) in 2022, 58% (14/24) in 2023, 64% (14/22) in 2024

Extensions: one week in 2013, one week in 2015, 14 days in 2018, 7 days in 2019, 14 days (2020, 2022), 13 days (2023), 7 days (2024 and 2025)

Kept verbatim from the old site while it is being turned into structured data.

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.