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.

11 results · clear filters Sort: newest oldest name

  1. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    series, 22 events, 2004 to 2025
    Computer and information sciences
    s109911
  2. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (ATVA)
    2019-10-28/31 · Taipei, Taiwan
    Computer and information sciences
    e10rw3b
  3. Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (ATVA 2018, ATVA)
    2018-10-07/10 · Los Angeles, United States
    Computer and information sciences
    e10e4c6
  4. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2017-10-03/06 · Pune, India
    Computer and information sciences
    e100xg0
  5. International Symposium on Automated Technology for Verification and Analysis (ATVA 2016, ATVA)
    2016-10-17/20 · Chiba, Japan
    Computer and information sciences
    e100xf3
  6. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2015-10-12/15 · Shanghai, People's Republic of China
    Computer and information sciences
    e100xe5
  7. International Symposium on Automated Technology for Verification and Analysis (ATVA 2014, ATVA)
    2014-11-03/07 · Sydney, Australia
    Computer and information sciences
    e100xd7
  8. International Symposium on Automated Technology for Verification and Analysis (ATVA 2013, ATVA)
    2013-10-15/18 · Hanoi, Vietnam
    Computer and information sciences
    e100xc9
  9. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2012-10-03/06 · Thiruvananthapuram, India
    Computer and information sciences
    e100xbb
  10. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2011-10-11/14 · Taipei, Taiwan
    Computer and information sciences
    e100xad
  11. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2010-09-21/24 · Singapore
    Computer and information sciences
    e100x9f

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