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.
Submissions
Scaled to this conference's own busiest year (48), so the shape is comparable across its editions but not between conferences.
How it has reviewed and published
| Practice | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Proceedings | • | • | • | • | • | • | • | • | • | • | • | • | • |
| Anonymity | LD | LD | LD | LD | LD | LD | |||||||
| 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 ↗