11 results · clear filters Sort: newest oldest name

1. International Symposium on Games, Automata, Logics and Formal Verification (GandALF) (GandALF)
   series, 16 events, 2010 to 2025
   Computer and information sciences
   s10cc0t
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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?field=1&discipline=Q21198&series=s10cc0t