All conferences / FMICS
FMICS
International Conference on Formal Methods for Industrial Critical Systems
Editions
| Year | Ed. | Held | Where | Paper deadline | Accepted | Rate |
|---|---|---|---|---|---|---|
| 2026 | 31 | 2โ4 Sep 2026 | Liverpool ๐ด๓ ง๓ ข๓ ฅ๓ ฎ๓ ง๓ ฟ | 17 Apr | — | — |
| 2025 | 30 | 25โ30 Aug 2025 | Aarhus ๐ฉ๐ฐ | 11 Apr +7 days | — | — |
| 2024 | 29 | 9โ11 Sep 2024 | Milan ๐ฎ๐น | 8 May +7 days | 14 / 22 | 64% |
| 2023 | 28 | 20โ22 Sep 2023 | Antwerp ๐ง๐ช | 28 May +13 days | 14 / 24 | 58% |
| 2022 | 27 | 14โ16 Sep 2022 | Warsaw ๐ต๐ฑ | 26 May +14 days | 13 / 22 | 59% |
| 2021 | 26 | 23โ27 Aug 2021 | Online | 14 May | — | — |
| 2020 | 25 | 2โ3 Sep 2020 | Online | 29 May +14 days | — | — |
| 2019 | 24 | 30โ31 Aug 2019 | Amsterdam ๐ณ๐ฑ | 3 May +7 days | — | — |
| 2018 | 23 | 3โ4 Sep 2018 | Maynooth University ๐ฎ๐ช | 11 May +14 days | — | — |
| 2017 Held jointly | 22 | — | — | — | — | |
| 2016 Held jointly | 21 | — | — | — | — | |
| 2015 | 20 | 22โ23 Jun 2015 | Oslo ๐ณ๐ด | 26 Jan | — | — |
A missing year does not mean the conference did not meet: coverage before 2015 has not been verified.
Acceptance rate over time
0%30%60%
- 2024 64% 14/22
- 2023 58% 14/24
- 2022 59% 13/22
Scale runs to 60%; the mid-line marks 30%. No figure published for 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2025, 2026.
Submissions
Scaled to this conference's own busiest year (24), so the shape is comparable across its editions but not between conferences.
How it has reviewed and published
| Practice | 15 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 |
|---|---|---|---|---|---|---|---|---|---|---|
| Proceedings | • | • | • | • | • | • | • | • | • | • |
| Anonymity | S | |||||||||
| 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 ↗