All conferences / FM
FM
International Symposium on Formal Methods
Editions
| Year | Ed. | Held | Where | Paper deadline | Accepted | Rate |
|---|---|---|---|---|---|---|
| 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
- 2018 32% 35/110
- 2012 27% 35/132
Scale runs to 60%; the mid-line marks 30%. No figure published for 2015, 2016, 2019, 2021, 2023, 2024, 2026.