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. Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022.
    2022 · Germany
    Computer and information sciences
    e12100t
  2. International Workshop on Verification and Program Transformation (VPT) (VPT)
    series, 10 events, 2013 to 2022
    Computer and information sciences
    s10d79b
  3. Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021.
    2021 · Luxembourg, Luxembourg
    Computer and information sciences
    e120z2s
  4. Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020.
    2020 · Dublin, Ireland
    Computer and information sciences
    e120yd4

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