{
 "query": {
  "series": [
   "s10d79b"
  ],
  "page": 1
 },
 "total": 11,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e12100t",
   "iri": "https://id.confref.org/event/e12100t",
   "kind": "event",
   "label": "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.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2022,
   "start": null,
   "end": null,
   "series": [
    "s10cghk",
    "s10d79b"
   ],
   "place": "http://www.wikidata.org/entity/Q183",
   "country": "DE",
   "lat": 51.0,
   "lon": 10.0,
   "mode": null
  },
  {
   "id": "s10d79b",
   "iri": "https://id.confref.org/series/s10d79b",
   "kind": "series",
   "label": "International Workshop on Verification and Program Transformation (VPT)",
   "acronyms": [
    "VPT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 2013,
   "last": 2022,
   "events": 10
  },
  {
   "id": "e120z2s",
   "iri": "https://id.confref.org/event/e120z2s",
   "kind": "event",
   "label": "Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s10d79b"
   ],
   "place": "http://www.wikidata.org/entity/Q1842",
   "country": "LU",
   "lat": 49.6114,
   "lon": 6.13,
   "mode": null
  },
  {
   "id": "e120yd4",
   "iri": "https://id.confref.org/event/e120yd4",
   "kind": "event",
   "label": "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.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2020,
   "start": null,
   "end": null,
   "series": [
    "s10cghk",
    "s10d79b"
   ],
   "place": "http://www.wikidata.org/entity/Q1761",
   "country": "IE",
   "lat": 53.3497,
   "lon": -6.2603,
   "mode": null
  },
  {
   "id": "e120xre",
   "iri": "https://id.confref.org/event/e120xre",
   "kind": "event",
   "label": "Proceedings Seventh International Workshop on Verification and Program Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019.",
   "acronyms": [
    "VPT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2019,
   "start": "2019-01-01",
   "end": "2019-01-01",
   "series": [
    "s10d79b"
   ],
   "place": "http://www.wikidata.org/entity/Q1449",
   "country": "IT",
   "lat": 44.4072,
   "lon": 8.9339,
   "mode": null
  },
  {
   "id": "e120wy3",
   "iri": "https://id.confref.org/event/e120wy3",
   "kind": "event",
   "label": "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.",
   "acronyms": [
    "VPT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-01-01",
   "end": "2018-01-01",
   "series": [
    "s10d79b",
    "s122y1r"
   ],
   "place": "http://www.wikidata.org/entity/Q17151",
   "country": "GR",
   "lat": 40.6403,
   "lon": 22.9356,
   "mode": null
  },
  {
   "id": "e120wjv",
   "iri": "https://id.confref.org/event/e120wjv",
   "kind": "event",
   "label": "Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017.",
   "acronyms": [
    "VPT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2017,
   "start": "2017-01-01",
   "end": "2017-01-01",
   "series": [
    "s10d79b"
   ],
   "place": "http://www.wikidata.org/entity/Q25286",
   "country": "SE",
   "lat": 59.8498,
   "lon": 17.6389,
   "mode": null
  },
  {
   "id": "e120vmr",
   "iri": "https://id.confref.org/event/e120vmr",
   "kind": "event",
   "label": "Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016.",
   "acronyms": [
    "VPT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2016,
   "start": "2016-01-01",
   "end": "2016-01-01",
   "series": [
    "s10d79b"
   ],
   "place": "http://www.wikidata.org/entity/Q29999",
   "country": "NL",
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": null
  },
  {
   "id": "e120v9f",
   "iri": "https://id.confref.org/event/e120v9f",
   "kind": "event",
   "label": "Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015.",
   "acronyms": [
    "VPT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2015,
   "start": "2015-01-01",
   "end": "2015-01-01",
   "series": [
    "s10d79b"
   ],
   "place": "http://www.wikidata.org/entity/Q84",
   "country": "GB",
   "lat": 51.5072,
   "lon": -0.1275,
   "mode": null
  },
  {
   "id": "e10tybn",
   "iri": "https://id.confref.org/event/e10tybn",
   "kind": "event",
   "label": "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",
   "acronyms": [
    "VPT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-17",
   "end": "2014-07-18",
   "series": [
    "s10d79b"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e10tyaq",
   "iri": "https://id.confref.org/event/e10tyaq",
   "kind": "event",
   "label": "First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013",
   "acronyms": [
    "VPT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2013,
   "start": "2013-07-12",
   "end": "2013-07-13",
   "series": [
    "s10d79b"
   ],
   "place": "http://www.wikidata.org/entity/Q656",
   "country": "RU",
   "lat": 59.95,
   "lon": 30.3167,
   "mode": null
  }
 ]
}