{
 "query": {
  "series": [
   "s10dg76"
  ],
  "from": 2010,
  "to": 2019,
  "page": 1
 },
 "total": 5,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e120w6m",
   "iri": "https://id.confref.org/event/e120w6m",
   "kind": "event",
   "label": "Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016.",
   "acronyms": [
    "UITP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2016,
   "start": "2016-01-01",
   "end": "2016-01-01",
   "series": [
    "s10dg76"
   ],
   "place": "http://www.wikidata.org/entity/Q45412",
   "country": "PT",
   "lat": 40.2111,
   "lon": -8.4289,
   "mode": null
  },
  {
   "id": "s10dg76",
   "iri": "https://id.confref.org/series/s10dg76",
   "kind": "series",
   "label": "Workshop on User Interfaces for Theorem Provers (UITP)",
   "acronyms": [
    "UITP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 2003,
   "last": 2016,
   "events": 7
  },
  {
   "id": "e120tca",
   "iri": "https://id.confref.org/event/e120tca",
   "kind": "event",
   "label": "Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014.",
   "acronyms": [
    "UITP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-01-01",
   "end": "2014-01-01",
   "series": [
    "s10dg76"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e120saf",
   "iri": "https://id.confref.org/event/e120saf",
   "kind": "event",
   "label": "Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012.",
   "acronyms": [
    "UITP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2012,
   "start": "2012-07-11",
   "end": "2012-07-11",
   "series": [
    "s10dg76"
   ],
   "place": "http://www.wikidata.org/entity/Q24879",
   "country": "DE",
   "lat": 53.0758,
   "lon": 8.8072,
   "mode": null
  },
  {
   "id": "e120mj3",
   "iri": "https://id.confref.org/event/e120mj3",
   "kind": "event",
   "label": "Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2010,
   "start": null,
   "end": null,
   "series": [
    "s10dg76"
   ],
   "place": "http://www.wikidata.org/entity/Q23436",
   "country": "GB",
   "lat": 55.9533,
   "lon": -3.1892,
   "mode": null
  }
 ]
}