{
 "query": {
  "kind": "event",
  "series": [
   "s123648"
  ],
  "page": 1
 },
 "total": 4,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e11mwft",
   "iri": "https://id.confref.org/event/e11mwft",
   "kind": "event",
   "label": "Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025, Bologna, Italy, October 26, 2025.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s123648"
   ],
   "place": "http://www.wikidata.org/entity/Q1891",
   "country": "IT",
   "lat": 44.4939,
   "lon": 11.3428,
   "mode": null
  },
  {
   "id": "e11mwew",
   "iri": "https://id.confref.org/event/e11mwew",
   "kind": "event",
   "label": "Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, Bolzano, Italy, November 28-29, 2024.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s123648"
   ],
   "place": "http://www.wikidata.org/entity/Q6526",
   "country": "IT",
   "lat": 46.4981,
   "lon": 11.3548,
   "mode": null
  },
  {
   "id": "e11mwdy",
   "iri": "https://id.confref.org/event/e11mwdy",
   "kind": "event",
   "label": "Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s123648"
   ],
   "place": "http://www.wikidata.org/entity/Q220",
   "country": "IT",
   "lat": 41.8931,
   "lon": 12.4828,
   "mode": null
  },
  {
   "id": "e11mwc0",
   "iri": "https://id.confref.org/event/e11mwc0",
   "kind": "event",
   "label": "Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2020,
   "start": null,
   "end": null,
   "series": [
    "s123648"
   ],
   "place": null,
   "country": null,
   "lat": null,
   "lon": null,
   "mode": null
  }
 ]
}