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. Verification, Model User:Curator 83ecking and Abstract Interpretation (VMCAI)
    series, 4 events, 2017 to 2020
    s1273wj
  2. 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019)
    2019-01-13/15 · Cascais, Portugal
    e1275ed
  3. 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018)
    2018-01-07/09 · Los Angeles, United States
    e1275g8
  4. 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)
    2017-01-15/17 · Paris, France
    e1275h6

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