{
 "query": {
  "field": [
   "1"
  ],
  "discipline": [
   "Q21198"
  ],
  "series": [
   "s10bq2d"
  ],
  "page": 1
 },
 "total": 9,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e11nwq7",
   "iri": "https://id.confref.org/event/e11nwq7",
   "kind": "event",
   "label": "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",
   "acronyms": [
    "PLPV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-01-21",
   "end": "2014-01-21",
   "series": [
    "s10bq2d"
   ],
   "place": "http://www.wikidata.org/entity/Q16552",
   "country": "US",
   "lat": 32.715,
   "lon": -117.1625,
   "mode": null
  },
  {
   "id": "s10bq2d",
   "iri": "https://id.confref.org/series/s10bq2d",
   "kind": "series",
   "label": "ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV)",
   "acronyms": [
    "PLPV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 2006,
   "last": 2014,
   "events": 8
  },
  {
   "id": "e11nwp9",
   "iri": "https://id.confref.org/event/e11nwp9",
   "kind": "event",
   "label": "Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013",
   "acronyms": [
    "PLPV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2013,
   "start": "2013-01-01",
   "end": "2013-01-01",
   "series": [
    "s10bq2d"
   ],
   "place": "http://www.wikidata.org/entity/Q220",
   "country": "IT",
   "lat": 41.8931,
   "lon": 12.4828,
   "mode": null
  },
  {
   "id": "e11nwnb",
   "iri": "https://id.confref.org/event/e11nwnb",
   "kind": "event",
   "label": "Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012",
   "acronyms": [
    "PLPV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2012,
   "start": "2012-01-01",
   "end": "2012-01-01",
   "series": [
    "s10bq2d"
   ],
   "place": "http://www.wikidata.org/entity/Q1345",
   "country": "US",
   "lat": 39.9528,
   "lon": -75.1636,
   "mode": null
  },
  {
   "id": "e11nwmd",
   "iri": "https://id.confref.org/event/e11nwmd",
   "kind": "event",
   "label": "Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011",
   "acronyms": [
    "PLPV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2011,
   "start": "2011-01-01",
   "end": "2011-01-01",
   "series": [
    "s10bq2d"
   ],
   "place": "http://www.wikidata.org/entity/Q16559",
   "country": "US",
   "lat": 30.3,
   "lon": -97.7333,
   "mode": null
  },
  {
   "id": "e11nwkf",
   "iri": "https://id.confref.org/event/e11nwkf",
   "kind": "event",
   "label": "Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010",
   "acronyms": [
    "PLPV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2010,
   "start": "2010-01-01",
   "end": "2010-01-01",
   "series": [
    "s10bq2d"
   ],
   "place": "http://www.wikidata.org/entity/Q2807",
   "country": "ES",
   "lat": 40.4169,
   "lon": -3.7033,
   "mode": null
  },
  {
   "id": "e11nwjh",
   "iri": "https://id.confref.org/event/e11nwjh",
   "kind": "event",
   "label": "Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009",
   "acronyms": [
    "PLPV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2009,
   "start": "2009-01-01",
   "end": "2009-01-01",
   "series": [
    "s10bq2d"
   ],
   "place": "http://www.wikidata.org/entity/Q83813",
   "country": "US",
   "lat": 32.0508,
   "lon": -81.1039,
   "mode": null
  },
  {
   "id": "e11nwhk",
   "iri": "https://id.confref.org/event/e11nwhk",
   "kind": "event",
   "label": "Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007",
   "acronyms": [
    "PLPV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2007,
   "start": "2007-01-01",
   "end": "2007-01-01",
   "series": [
    "s10bq2d"
   ],
   "place": "http://www.wikidata.org/entity/Q2833",
   "country": "DE",
   "lat": 47.995,
   "lon": 7.85,
   "mode": null
  },
  {
   "id": "e11nwgn",
   "iri": "https://id.confref.org/event/e11nwgn",
   "kind": "event",
   "label": "Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006",
   "acronyms": [
    "PLPV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2006,
   "start": "2006-01-01",
   "end": "2006-01-01",
   "series": [
    "s10bq2d"
   ],
   "place": "http://www.wikidata.org/entity/Q5083",
   "country": "US",
   "lat": 47.605,
   "lon": -122.33,
   "mode": null
  }
 ]
}