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

Venue statistics

records by year

document access 

    frequent authors

      11th GandALF 2020: Brussels, Belgium

      10th GandALF 2019: Bordeaux, France

      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

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics