conferences.computer.science

All conferences / GandALF

GandALF

International Symposium on Games, Automata, Logics, and Formal Verification

Editions listed13 Covered2014–2026 Rank nowCORE absent

Editions

YearEd.HeldWhere Paper deadlineAcceptedRate
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 Reykjavik ๐Ÿ‡ฎ๐Ÿ‡ธ 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

0%30%60%
  1. 2024 50% 10/20
  2. 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.

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 ๐Ÿค“