conferences.computer.science

All conferences / SEFM

SEFM

International Conference on Software Engineering and Formal Methods

Editions listed12 Covered2015–2026 Rank nowCORE B

Editions

YearEd.HeldWhere Paper deadlineAcceptedRate
2026 24 23โ€“27 Nov 2026 Malta ๐Ÿ‡ฒ๐Ÿ‡น 30 Jun +7 days
2025 23 10โ€“14 Nov 2025 Toledo ๐Ÿ‡ช๐Ÿ‡ธ 23 Jun +3 days
2024 22 4โ€“8 Nov 2024 Aveiro ๐Ÿ‡ต๐Ÿ‡น 28 Jun +14 days 23 / 68 34%
2023 21 8โ€“10 Nov 2023 Eindhoven ๐Ÿ‡ณ๐Ÿ‡ฑ 9 Jun 20 / 41 49%
2022 20 28โ€“30 Sep 2022 Berlin ๐Ÿ‡ฉ๐Ÿ‡ช 26 Jun 22 / 62 35%
2021 19 6โ€“10 Dec 2021 Online 23 Jul
2020 18 14โ€“18 Sep 2020 Online 31 May +27 days
2019 17 16โ€“20 Sep 2019 Oslo ๐Ÿ‡ณ๐Ÿ‡ด 20 May +10 days
2018 16 27โ€“29 Jun 2018 Toulouse ๐Ÿ‡ซ๐Ÿ‡ท 9 Mar +7 days
2017 15 6โ€“10 Sep 2017 Trento ๐Ÿ‡ฎ๐Ÿ‡น 13 Apr +13 days
2016 14 4โ€“8 Jul 2016 Vienna ๐Ÿ‡ฆ๐Ÿ‡น 29 Feb 25 / 88 28%
2015 13 7โ€“11 Sep 2015 York ๐Ÿด๓ ง๓ ข๓ ฅ๓ ฎ๓ ง๓ ฟ 20 Mar

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 34% 23/68
  2. 2023 49% 20/41
  3. 2022 35% 22/62
  4. 2016 28% 25/88

Scale runs to 60%; the mid-line marks 30%. No figure published for 2015, 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 announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.