All conferences / GandALF
GandALF
International Symposium on Games, Automata, Logics, and Formal Verification
Editions
| Year | Ed. | Held | Where | Paper deadline | Accepted | Rate |
|---|---|---|---|---|---|---|
| 2026 | 17 | 15โ17 Sep 2026 | Aalborg ๐ฉ๐ฐ | 22 Jun | — | — |
| 2025 | 16 | 15โ18 Sep 2025 | Valletta ๐ฒ๐น | 6 Jun +7 days | — | — |
| 2024 | 15 | 19โ21 Jun 2024 | Reykjavรญk ๐ฎ๐ธ | 10 Apr | 10 / 20 | 50% |
| 2023 | 14 | 18โ20 Sep 2023 | Udine ๐ฎ๐น | 30 Jun | 15 / 26 | 58% |
| 2022 | 13 | 21โ23 Sep 2022 | Madrid ๐ช๐ธ | 10 Jun +7 days | — | — |
| 2021 | 12 | 20โ22 Sep 2021 | Padua ๐ฎ๐น | 30 Jun | — | — |
| 2020 | 11 | 23โ24 Sep 2020 | Online | 5 Jul +20 days | — | — |
| 2019 | 10 | 2โ4 Sep 2019 | Bordeaux ๐ซ๐ท | 2 Jun +14 days | — | — |
| 2018 | 9 | 26โ28 Sep 2018 | Saarbrรผcken ๐ฉ๐ช | 22 Jun +7 days | — | — |
| 2017 | 8 | 20โ22 Sep 2017 | Rome ๐ฎ๐น | 15 Jun +20 days | — | — |
| 2016 | 7 | 14โ16 Sep 2016 | Catania ๐ฎ๐น | 6 Jun +10 days | — | — |
| 2015 | 6 | 21โ23 Sep 2015 | Genoa ๐ฎ๐น | 5 Jun | — | — |
| 2014 | 5 | 10โ12 Sep 2014 | Verona ๐ฎ๐น | 1 Jun | — | — |
A missing year does not mean the conference did not meet: coverage before 2014 has not been verified.
Acceptance rate over time
- 2024 50% 10/20
- 2023 58% 15/26
Scale runs to 60%; the mid-line marks 30%. No figure published for 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2025, 2026.
Submissions
Scaled to this conference's own busiest year (26), so the shape is comparable across its editions but not between conferences.
How it has reviewed and published
| Practice | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Proceedings | • | • | • | • | • | • | • | • | • | • | • | • | • |
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 ↗