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.

5 results · clear filters Sort: newest oldest name

  1. Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025, Bologna, Italy, October 26, 2025.
    2025 · Bologna, Italy
    Computer and information sciences
    e11mwft
  2. Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY)
    series, 4 events, 2020 to 2025
    Computer and information sciences
    s123648
  3. Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, Bolzano, Italy, November 28-29, 2024.
    2024 · Bolzano, Italy
    Computer and information sciences
    e11mwew
  4. Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023.
    2023 · Rome, Italy
    Computer and information sciences
    e11mwdy
  5. Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020.
    2020
    Computer and information sciences
    e11mwc0

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