Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Conference series Beta

International Symposium on Games, Automata, Logics and Formal Verification (GandALF)

GandALF
Events
16 (2010 to 2025)
Academic field
Natural sciences: Computer and information sciences
Disciplines
computer science
Identifier
https://id.confref.org/series/s10cc0t

Events (16)

20102025

YearNo.EventPlaceDate
202517Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2025, Valletta, Malta, 16-17th September 2025.
Valletta
2024Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2024, Reykjavik, Iceland, 19-21 June 2024.
Reykjavík
202320Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023.
Udine
202213Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022.
Madrid
202112Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021.
Padua
202011Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020.
GandALF 2020
Brussels2020-09-21/22
20193Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019.
GANDALF
Bordeaux2019-01-01
201828Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018.
GANDALF
Saarbrücken2018-01-01
2017Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017.
GANDALF
Rome2017-09-20/22
2016Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016.
GANDALF, GandALF 2016
Catania2016-09-14/16
201522Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015.
GANDALF
Genoa2015-01-01
2014Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014.
GANDALF
Verona2014-09-10/12
201331Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013.
GANDALF
Dolomites2013-01-01
2012Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012.
GANDALF
Naples2012-09-06/08
201117Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011.
GANDALF
Minori2011-01-01
201018Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010.
GANDALF
Amalfi Coast2010-01-01

The events on the map · in the search · calendar of coming events

Sources

The records of the sources that this identifier brings together (cr:sameAs).

confref portal (2020)
Wikidata
dblp

Cite

International Symposium on Games, Automata, Logics and Formal Verification (GandALF). confref identifier s10cc0t. https://id.confref.org/series/s10cc0t

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.