GandALF

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

Editions listed13 Covered2014–2026 Rank nowCORE absent

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	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%

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.

CORE rank over time

absent 2014–

Only the current rank is recorded; earlier rounds have not been checked.

Deadline habits

Extended: 7 of 7 editions
Typical: 7–20 days
Longest: 20 days
Not known: 6 editions

An edition counts as firm only when it was checked; a deadline with no earlier date recorded is counted as not known, not as firm.

Elsewhere

DBLP: gandalf ↗
Calendar: Subscribe to GandALF
Data: All editions as JSON

Notes carried over

Acceptance: 58% (15/26) in 2023, 50% (10/20) in 2024

Extensions: 1 week (2014 and 2015), 10 days (2016), 20 days (2017), 7 days (2018), 13 days (2019), 20 days (2020), 7 days (2022, 2025)

Kept verbatim from the old site while it is being turned into structured data.

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.