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 Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
    2026 · Rennes, France
    Computer and information sciences
    e11ydxr
  2. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017, VMCAI)
    2017-01-15/17 · Paris, France
    Computer and information sciences
    e108n1q
  3. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007, VMCAI)
    2007-01-14/16 · Nice, France
    Computer and information sciences
    e108mqb
  4. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2005, VMCAI)
    2005-01-17/19 · Paris, France
    Computer and information sciences
    e108mnf

As JSON: https://labs.confref.org/api/search?field=1&series=s10ar0j&country=FR