iFM

International Conference on integrated Formal Methods

Editions listed12 Covered2012–2025 Rank nowCORE B

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2025	20	19–21 Nov 2025	Paris 🇫🇷	20 Jun +14 days	24 / 69	35%
2024	19	13–15 Nov 2024	Manchester 🏴󠁧󠁢󠁥󠁮󠁧󠁿	17 Jun +7 days	—	—
2023	18	13–15 Nov 2023	Leiden 🇳🇱	15 Jun	—	—
2022	17	7–10 Jun 2022	Lugano 🇨🇭	11 Feb +21 days	—	—
2020	16	16–20 Nov 2020	Online	22 Jun	—	—
2019	15	4–6 Dec 2019	Bergen 🇳🇴	5 Jul +7 days	—	—
2018	14	5–7 Sep 2018	Maynooth 🇮🇪	2 May +12 days	—	—
2017	13	20–22 Sep 2017	Turin 🇮🇹	27 Apr +23 days	—	—
2016	12	1–4 Jun 2016	Reykjavík 🇮🇸	13 Jan	—	—
2014	11	9–11 Sep 2014	Bertinoro 🇮🇹	25 Apr	—	—
2013	—		—	—	—	25%
2012	—		—	—	—	37%

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

Acceptance rate over time

0%30%60%

2025 35% 24/69
2013 25%
2012 37%

Scale runs to 60%; the mid-line marks 30%. No figure published for 2014, 2016, 2017, 2018, 2019, 2020, 2022, 2023, 2024.

Where it has met

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

9 cities. 20142025

CORE rank over time

B 2008–

Ranked since the first CORE round.

Deadline habits

Extended: 6 of 6 editions
Typical: 7–23 days
Longest: 23 days
Not known: 4 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: ifm ↗
CORE: portal entry 842 ↗
Data: All editions as JSON

Notes carried over

Acceptance: 37% (2012), 25% (2013), 33% (12/7 / 45+13) in 2024.

Extensions: 10 days in 2013, 7 days in 2016, 23 days in 2017, 12 days in 2018, 7 days in 2019, 7+14 days in 2022, 7 days in 2024, 2 weeks (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 call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority 🤓