conferences.computer.science

All conferences / FMICS

FMICS

International Conference on Formal Methods for Industrial Critical Systems

Editions listed12 Covered2015–2026 Rank nowCORE C

Editions

YearEd.HeldWhere Paper deadlineAcceptedRate
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%
  1. 2024 64% 14/22
  2. 2023 58% 14/24
  3. 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.

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority ๐Ÿค“