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.

5 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. 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
  3. 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
  4. Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009 (PLPV)
    2009-01-01 · Savannah, United States
    Computer and information sciences
    e11nwjh
  5. Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006 (PLPV)
    2006-01-01 · Seattle, United States
    Computer and information sciences
    e11nwgn

As JSON: https://labs.confref.org/api/search?kind=event&series=s10bq2d&country=US