Games, Automata, Logics and Formal Verification

9th GandALF 2018: Saarbrücken, Germany

8th GandALF 2017: Rome, Italy

7th GandALF 2016: Catania, Italy

6th GandALF 2015: Genoa, Italy

5th GandALF 2014: Verona, Italy

4th GandALF 2013: Borca di Cadore, Italy

3rd GandALF 2012: Napoli, Italy

2nd GandALF 2011: Minori, Italy

1st GandALF 2010: Minori, Italy

maintained by Schloss Dagstuhl LZI at University of Trier