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.
How it has reviewed and published
| Practice | 14 | 16 | 17 | 18 | 19 | 20 | 22 | 23 | 24 | 25 |
|---|---|---|---|---|---|---|---|---|---|---|
| Proceedings | • | • | • | • | • | • | • | • | • | • |
| Artifact evaluation | • |
A blank cell means nobody has checked that year, not that the answer is no. Licences are read as recorded on the edition, never inherited from the publisher.
Spotted something wrong on this page? Tell us, with a source if you have one ↗