{
 "query": {
  "series": [
   "s10dg76"
  ],
  "from": 2000,
  "to": 2009,
  "page": 1
 },
 "total": 4,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "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": "e120k09",
   "iri": "https://id.confref.org/event/e120k09",
   "kind": "event",
   "label": "Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, UITP@TPHOLs 2008, Montréal, Canada, August 22, 2008",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2008,
   "start": null,
   "end": null,
   "series": [
    "s10dg76"
   ],
   "place": "http://www.wikidata.org/entity/Q340",
   "country": "CA",
   "lat": 45.5033,
   "lon": -73.5868,
   "mode": null
  },
  {
   "id": "e11xk1d",
   "iri": "https://id.confref.org/event/e11xk1d",
   "kind": "event",
   "label": "Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2006,
   "start": null,
   "end": null,
   "series": [
    "s10dg76"
   ],
   "place": "http://www.wikidata.org/entity/Q5083",
   "country": "US",
   "lat": 47.605,
   "lon": -122.33,
   "mode": null
  },
  {
   "id": "e120gbp",
   "iri": "https://id.confref.org/event/e120gbp",
   "kind": "event",
   "label": "Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs 2003, Rome, Italy, September 8, 2003",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2003,
   "start": null,
   "end": null,
   "series": [
    "s10dg76"
   ],
   "place": "http://www.wikidata.org/entity/Q220",
   "country": "IT",
   "lat": 41.8931,
   "lon": 12.4828,
   "mode": null
  }
 ]
}
