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.

4 results · clear filters Sort: newest oldest name

  1. AI Verification - Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11qy48
  2. International Symposium on AI Verification (SAIV)
    series, 3 events, 2024 to 2026
    Computer and information sciences
    s123d6x
  3. AI Verification - Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings
    2025 · Zagreb, Croatia
    Computer and information sciences
    e11qy3a
  4. AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
    2024 · Montreal, Canada
    Computer and information sciences
    e11qy2c

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