All conferences / iFM
iFM
International Conference on integrated Formal Methods
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.