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. Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings
    2025 · Bengaluru, India
    Computer and information sciences
    e10rw9z
  2. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    series, 22 events, 2004 to 2025
    Computer and information sciences
    s109911
  3. Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
    2024 · Kyoto, Japan
    Computer and information sciences
    e10rw81
  4. Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
    2023 · Singapore
    Computer and information sciences
    e10rw73
  5. Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
    2022
    Computer and information sciences
    e10rw65
  6. Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
    2021 · Gold Coast, Australia
    Computer and information sciences
    e10rw57
  7. Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
    2020 · Hanoi, Vietnam
    Computer and information sciences
    e10rw49

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