{
 "query": {
  "field": [
   "1"
  ],
  "series": [
   "s10d72s"
  ],
  "page": 1
 },
 "total": 10,
 "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
  },
  {
   "id": "e120y6j",
   "iri": "https://id.confref.org/event/e120y6j",
   "kind": "event",
   "label": "Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2019,
   "start": null,
   "end": null,
   "series": [
    "s10d72s"
   ],
   "place": "http://www.wikidata.org/entity/Q131620",
   "country": "BR",
   "lat": -5.795,
   "lon": -35.2089,
   "mode": null
  },
  {
   "id": "e120xgy",
   "iri": "https://id.confref.org/event/e120xgy",
   "kind": "event",
   "label": "Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 july 2018.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2018,
   "start": null,
   "end": null,
   "series": [
    "s10d72s"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e120wx5",
   "iri": "https://id.confref.org/event/e120wx5",
   "kind": "event",
   "label": "Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2017,
   "start": null,
   "end": null,
   "series": [
    "s10d72s"
   ],
   "place": "http://www.wikidata.org/entity/Q25287",
   "country": "SE",
   "lat": 57.7075,
   "lon": 11.9675,
   "mode": null
  },
  {
   "id": "e1212s5",
   "iri": "https://id.confref.org/event/e1212s5",
   "kind": "event",
   "label": "Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2011,
   "start": null,
   "end": null,
   "series": [
    "s10d72s"
   ],
   "place": "http://www.wikidata.org/entity/Q1799",
   "country": "PL",
   "lat": 51.11,
   "lon": 17.0325,
   "mode": null
  }
 ]
}