All conferences / FormaliSE
FormaliSE
International Conference on Formal Methods in Software Engineering
Editions
| Year | Ed. | Held | Where | Paper deadline | Accepted | Rate |
|---|---|---|---|---|---|---|
| 2027 open | 15 | 26–27 Apr 2027 | Dublin 🇮🇪 | 6 Nov | — | — |
| 2026 | 14 | 12–13 Apr 2026 | Rio de Janeiro 🇧🇷 | 6 Nov +14 days | 19 / 28 | 68% |
| 2025 | 13 | 27–28 Apr 2025 | Ottawa 🇨🇦 | 25 Nov +7 days | 15 / 48 | 31% |
| 2024 | 12 | 14–15 Apr 2024 | Lisbon 🇵🇹 | 8 Dec | 14 / 41 | 34% |
| 2023 | 11 | 14–15 May 2023 | Pittsburgh 🇺🇸 | 27 Jan +11 days | — | — |
| 2022 | 10 | 22–23 May 2022 | Pittsburgh 🇺🇸 | 27 Jan +7 days | — | — |
| 2021 | 9 | 17–21 May 2021 | Online | 12 Jan | — | — |
| 2020 | 8 | 25–26 May 2020 | Seoul 🇰🇷 | 23 Jan +7 days | — | — |
| 2019 | 7 | 27 May 2019 | Montréal 🇨🇦 | 25 Jan +7 days | — | — |
| 2018 | 6 | 2 Jun 2018 | Gothenburg 🇸🇪 | 29 Jan | — | — |
| 2017 | 5 | 27 May 2017 | Buenos Aires 🇦🇷 | 27 Jan +7 days | — | — |
| 2016 | 4 | 15 May 2016 | Austin 🇺🇸 | 29 Jan +7 days | — | — |
| 2015 | 3 | 18 May 2015 | Florence 🇮🇹 | 23 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%
- 2026 68% 19/28
- 2025 31% 15/48
- 2024 34% 14/41
Scale runs to 60%; the mid-line marks 30%. No figure published for 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2027.