conferences.computer.science

All conferences / iFM

iFM

International Conference on integrated Formal Methods

Editions listed12 Covered2012–2025 Rank nowCORE B

Editions

YearEd.HeldWhere Paper deadlineAcceptedRate
2025 20 19โ€“21 Nov 2025 Paris ๐Ÿ‡ซ๐Ÿ‡ท 20 Jun +14 days
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 Virtual (Lugano ๐Ÿ‡จ๐Ÿ‡ญ 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%
  1. 2013 25%
  2. 2012 37%

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

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.