conferences.computer.science

All conferences / FM

FM

International Symposium on Formal Methods

Editions listed9 Covered2012–2026 Rank nowCORE B

Editions

YearEd.HeldWhere Paper deadlineAcceptedRate
2026 27 20โ€“22 May 2026 Tokyo ๐Ÿ‡ฏ๐Ÿ‡ต 2 Dec
2024 26 9โ€“13 Sep 2024 Milan ๐Ÿ‡ฎ๐Ÿ‡น 19 Apr
2023 25 6โ€“10 Mar 2023 Lรผbeck ๐Ÿ‡ฉ๐Ÿ‡ช 11 Sep
2021 24 20โ€“26 Nov 2021 Online 6 May
2019 23 7โ€“11 Oct 2019 Porto ๐Ÿ‡ต๐Ÿ‡น 11 Apr
2018 22 15โ€“17 Jul 2018 Oxford ๐Ÿด๓ ง๓ ข๓ ฅ๓ ฎ๓ ง๓ ฟ 22 Jan 35 / 110 32%
2016 21 7โ€“11 Nov 2016 Limassol ๐Ÿ‡จ๐Ÿ‡พ 30 May
2015 20 22โ€“26 Jun 2015 Oslo ๐Ÿ‡ณ๐Ÿ‡ด 9 Jan
2013, 2014 — not recorded here, which does not mean the conference did not meet
2012 35 / 132 27%

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. 2018 32% 35/110
  2. 2012 27% 35/132

Scale runs to 60%; the mid-line marks 30%. No figure published for 2015, 2016, 2019, 2021, 2023, 2024, 2026.

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.