{
 "query": {
  "series": [
   "s10d72s"
  ],
  "from": 2020,
  "to": 2029,
  "page": 1
 },
 "total": 6,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e1211dz",
   "iri": "https://id.confref.org/event/e1211dz",
   "kind": "event",
   "label": "Proceedings The 13th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2024, Nancy, France, 1-2nd July 2024.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s10d72s"
   ],
   "place": "http://www.wikidata.org/entity/Q40898",
   "country": "FR",
   "lat": 48.6928,
   "lon": 6.1836,
   "mode": null
  },
  {
   "id": "s10d72s",
   "iri": "https://id.confref.org/series/s10d72s",
   "kind": "series",
   "label": "International Workshop on Theorem Proving Components for Educational Software (ThEdu)",
   "acronyms": [
    "ThEdu"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "first": 2011,
   "last": 2024,
   "events": 9
  },
  {
   "id": "e1210s7",
   "iri": "https://id.confref.org/event/e1210s7",
   "kind": "event",
   "label": "Proceedings 12th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s10d72s"
   ],
   "place": "http://www.wikidata.org/entity/Q220",
   "country": "IT",
   "lat": 41.8931,
   "lon": 12.4828,
   "mode": null
  },
  {
   "id": "e12102p",
   "iri": "https://id.confref.org/event/e12102p",
   "kind": "event",
   "label": "Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2022,
   "start": null,
   "end": null,
   "series": [
    "s10d72s"
   ],
   "place": "http://www.wikidata.org/entity/Q41621",
   "country": "IL",
   "lat": 32.8192,
   "lon": 34.9992,
   "mode": null
  },
  {
   "id": "e120ze1",
   "iri": "https://id.confref.org/event/e120ze1",
   "kind": "event",
   "label": "Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s10d72s"
   ],
   "place": "http://www.wikidata.org/entity/Q1342",
   "country": "US",
   "lat": 40.4417,
   "lon": -80.0,
   "mode": null
  },
  {
   "id": "e120ymn",
   "iri": "https://id.confref.org/event/e120ymn",
   "kind": "event",
   "label": "Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2020,
   "start": null,
   "end": null,
   "series": [
    "s10d72s"
   ],
   "place": "http://www.wikidata.org/entity/Q90",
   "country": "FR",
   "lat": 48.8567,
   "lon": 2.3522,
   "mode": null
  }
 ]
}