10 results · clear filters Sort: newest oldest name

1. 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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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&country=IT