{
 "query": {
  "series": [
   "s10a3sm"
  ],
  "from": 2020,
  "to": 2029,
  "page": 1
 },
 "total": 6,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e11e85f",
   "iri": "https://id.confref.org/event/e11e85f",
   "kind": "event",
   "label": "Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts - 13th International Symposium, ISoLA 2026, Kos, Greece, October 24-28, 2026, Proceedings, Part III",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2026,
   "start": null,
   "end": null,
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q187027",
   "country": "GR",
   "lat": 36.8153,
   "lon": 27.1103,
   "mode": null
  },
  {
   "id": "s10a3sm",
   "iri": "https://id.confref.org/series/s10a3sm",
   "kind": "series",
   "label": "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation",
   "acronyms": [
    "ISoLA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 2004,
   "last": 2026,
   "events": 19
  },
  {
   "id": "e11e84h",
   "iri": "https://id.confref.org/event/e11e84h",
   "kind": "event",
   "label": "Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q34374",
   "country": "GR",
   "lat": 35.3097,
   "lon": 24.8933,
   "mode": null
  },
  {
   "id": "e11e83k",
   "iri": "https://id.confref.org/event/e11e83k",
   "kind": "event",
   "label": "Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2022,
   "start": null,
   "end": null,
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q43048",
   "country": "GR",
   "lat": 36.17,
   "lon": 27.92,
   "mode": null
  },
  {
   "id": "e11e82n",
   "iri": "https://id.confref.org/event/e11e82n",
   "kind": "event",
   "label": "Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q43048",
   "country": "GR",
   "lat": 36.17,
   "lon": 27.92,
   "mode": null
  },
  {
   "id": "e11e81q",
   "iri": "https://id.confref.org/event/e11e81q",
   "kind": "event",
   "label": "Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2020,
   "start": null,
   "end": null,
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q43048",
   "country": "GR",
   "lat": 36.17,
   "lon": 27.92,
   "mode": null
  }
 ]
}