Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

14th GandALF 2023: Udine, Italy

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-17318
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-17318
Antonis Achilleos, Dario Della Monica:
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. EPTCS 390, 2023 [contents]

13th GandALF 2022: Madrid, Spain

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-09333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-09333
Pierre Ganty, Dario Della Monica:
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022. EPTCS 370, 2022 [contents]

12th GandALF 2021: Padua, Italy

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-07798
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-07798
Pierre Ganty, Davide Bresolin:
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. EPTCS 346, 2021 [contents]
- view
- export record
  dblp key:
  - conf/gandalf/2021overlay
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gandalf/2021overlay
Dario Della Monica, Gian Luca Pozzato, Enrico Scala:
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021. CEUR Workshop Proceedings 2987, CEUR-WS.org 2021 [contents]

11th GandALF 2020: Brussels, Belgium

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-09360
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-09360
Jean-François Raskin, Davide Bresolin:
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020. EPTCS 326, 2020 [contents]

10th GandALF 2019: Bordeaux, France

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-05979
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-05979
Jérôme Leroux, Jean-François Raskin:
Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019. EPTCS 305, 2019 [contents]

9th GandALF 2018: Saarbrücken, Germany

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1809-02416
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-02416
Andrea Orlandini, Martin Zimmermann:
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018. EPTCS 277, 2018 [contents]

8th GandALF 2017: Rome, Italy

- view
- export record
  dblp key:
  - journals/corr/abs-1709-01761
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-01761
Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro:
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. EPTCS 256, 2017 [contents]

7th GandALF 2016: Catania, Italy

- view
  authority control:
- export record
  dblp key:
  - journals/corr/CantoneD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CantoneD16
Domenico Cantone, Giorgio Delzanno:
Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016. EPTCS 226, 2016 [contents]

6th GandALF 2015: Genoa, Italy

- view
  authority control:
- export record
  dblp key:
  - journals/corr/EsparzaT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EsparzaT15
Javier Esparza, Enrico Tronci:
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015. EPTCS 193, 2015 [contents]

5th GandALF 2014: Verona, Italy

- view
  authority control:
- export record
  dblp key:
  - journals/corr/PeronP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PeronP14
Adriano Peron, Carla Piazza:
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. EPTCS 161, 2014 [contents]

4th GandALF 2013: Borca di Cadore, Italy

- view
  authority control:
- export record
  dblp key:
  - journals/corr/PuppisV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PuppisV13
Gabriele Puppis, Tiziano Villa:
Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013. EPTCS 119, 2013 [contents]

3rd GandALF 2012: Napoli, Italy

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2028
Marco Faella, Aniello Murano:
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. EPTCS 96, 2012 [contents]

2nd GandALF 2011: Minori, Italy

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-0814
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-0814
Giovanna D'Agostino, Salvatore La Torre:
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011. EPTCS 54, 2011 [contents]

1st GandALF 2010: Minori, Italy

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1711
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1711
Angelo Montanari, Margherita Napoli, Mimmo Parente:
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010. EPTCS 25, 2010 [contents]

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.