{
 "query": {
  "kind": "event",
  "field": [
   "1"
  ],
  "series": [
   "s10dg76"
  ],
  "page": 1
 },
 "total": 7,
 "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": "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
  },
  {
   "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
  }
 ]
}