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.

6 results · clear filters Sort: newest oldest name

  1. Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14 (PLPV)
    2014-01-21 · San Diego, United States
    Computer and information sciences
    e11nwq7
  2. ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV) (PLPV)
    series, 8 events, 2006 to 2014
    Computer and information sciences
    s10bq2d
  3. Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013 (PLPV)
    2013-01-01 · Rome, Italy
    Computer and information sciences
    e11nwp9
  4. Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012 (PLPV)
    2012-01-01 · Philadelphia, United States
    Computer and information sciences
    e11nwnb
  5. Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011 (PLPV)
    2011-01-01 · Austin, United States
    Computer and information sciences
    e11nwmd
  6. Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010 (PLPV)
    2010-01-01 · Madrid, Spain
    Computer and information sciences
    e11nwkf

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