Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

7 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

As JSON: https://labs.confref.org/api/search?series=s10cc0t&from=2020&to=2029