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.

8 results · clear filters Sort: newest oldest name

  1. International Workshop on Verification and Program Transformation (VPT) (VPT)
    series, 10 events, 2013 to 2022
    Computer and information sciences
    s10d79b
  2. Proceedings Seventh International Workshop on Verification and Program Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019. (VPT)
    2019-01-01 · Genoa, Italy
    Computer and information sciences
    e120xre
  3. Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. (VPT)
    2018-01-01 · Thessaloniki, Greece
    Computer and information sciences
    e120wy3
  4. Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017. (VPT)
    2017-01-01 · Uppsala, Sweden
    Computer and information sciences
    e120wjv
  5. Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016. (VPT)
    2016-01-01 · Kingdom of the Netherlands
    Computer and information sciences
    e120vmr
  6. Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015. (VPT)
    2015-01-01 · London, United Kingdom
    Computer and information sciences
    e120v9f
  7. VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014 (VPT)
    2014-07-17/18 · Vienna, Austria
    Computer and information sciences
    e10tybn
  8. First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013 (VPT)
    2013-07-12/13 · Saint Petersburg, Russia
    Computer and information sciences
    e10tyaq

As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s10d79b