17 results · clear filters Sort: newest oldest name

1. Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2025, Valletta, Malta, 16-17th September 2025.
   2025 · Valletta, Malta
   Computer and information sciences
   e1211qa
2. International Symposium on Games, Automata, Logics and Formal Verification (GandALF) (GandALF)
   series, 16 events, 2010 to 2025
   Computer and information sciences
   s10cc0t
3. Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2024, Reykjavik, Iceland, 19-21 June 2024.
   2024 · Reykjavík, Iceland
   Computer and information sciences
   e12112n
4. Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023.
   2023 · Udine, Italy
   Computer and information sciences
   e1210hq
5. Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022.
   2022 · Madrid, Spain
   Computer and information sciences
   e120zx2
6. Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021.
   2021 · Padua, Italy
   Computer and information sciences
   e120z7f
7. Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020. (GandALF 2020)
   2020-09-21/22 · Brussels, Belgium
   Computer and information sciences
   e10hc0f
8. Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019. (GANDALF)
   2019-01-01 · Bordeaux, France
   Computer and information sciences
   e120xy2
9. Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018. (GANDALF)
   2018-01-01 · Saarbrücken, Germany
   Computer and information sciences
   e120x3s
10. Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. (GANDALF)
    2017-09-20/22 · Rome, Italy
    Computer and information sciences
    e120wmq
11. Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016. (GANDALF, GandALF 2016)
    2016-09-14/16 · Catania, Italy
    Computer and information sciences
    e10es9q
12. Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015. (GANDALF)
    2015-01-01 · Genoa, Italy
    Computer and information sciences
    e120v4s
13. Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. (GANDALF)
    2014-09-10/12 · Verona, Italy
    Computer and information sciences
    e120t9g
14. Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013. (GANDALF)
    2013-01-01 · Dolomites, Italy
    Computer and information sciences
    e120sbd
15. Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. (GANDALF)
    2012-09-06/08 · Naples, Italy
    Computer and information sciences
    e12134f
16. Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011. (GANDALF)
    2011-01-01 · Minori, Italy
    Computer and information sciences
    e1212b2
17. Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010. (GANDALF)
    2010-01-01 · Amalfi Coast, Italy
    Computer and information sciences
    e120we4

As JSON: https://labs.confref.org/api/search?series=s10cc0t