{
 "query": {
  "series": [
   "s10a3sm"
  ],
  "page": 1
 },
 "total": 20,
 "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
  },
  {
   "id": "e10ev15",
   "iri": "https://id.confref.org/event/e10ev15",
   "kind": "event",
   "label": "Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III",
   "acronyms": [
    "ISOLA",
    "ISoLA 2018"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-11-05",
   "end": "2018-11-09",
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q185632",
   "country": "CY",
   "lat": 34.675,
   "lon": 33.0443,
   "mode": null
  },
  {
   "id": "e105bed",
   "iri": "https://id.confref.org/event/e105bed",
   "kind": "event",
   "label": "International Symposium on Leveraging Applications of Formal Methods",
   "acronyms": [
    "ISoLA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2016,
   "start": "2016-10-10",
   "end": "2016-10-14",
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q121378",
   "country": "GR",
   "lat": 39.6,
   "lon": 19.87,
   "mode": null
  },
  {
   "id": "e105bdf",
   "iri": "https://id.confref.org/event/e105bdf",
   "kind": "event",
   "label": "International Symposium on Leveraging Applications of Formal Methods",
   "acronyms": [
    "ISoLA 2014",
    "ISoLA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-10-08",
   "end": "2014-10-11",
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q121378",
   "country": "GR",
   "lat": 39.6,
   "lon": 19.87,
   "mode": null
  },
  {
   "id": "e11e7zv",
   "iri": "https://id.confref.org/event/e11e7zv",
   "kind": "event",
   "label": "Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2014,
   "start": null,
   "end": null,
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q121378",
   "country": "GR",
   "lat": 39.6,
   "lon": 19.87,
   "mode": null
  },
  {
   "id": "e11e80s",
   "iri": "https://id.confref.org/event/e11e80s",
   "kind": "event",
   "label": "Leveraging Applications of Formal Methods, Verification, and Validation - 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2014,
   "start": null,
   "end": null,
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q160544",
   "country": "GR",
   "lat": 35.3403,
   "lon": 25.1344,
   "mode": null
  },
  {
   "id": "e105bch",
   "iri": "https://id.confref.org/event/e105bch",
   "kind": "event",
   "label": "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation",
   "acronyms": [
    "ISoLA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2012,
   "start": "2012-10-15",
   "end": "2012-10-18",
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q160544",
   "country": "GR",
   "lat": 35.3403,
   "lon": 25.1344,
   "mode": null
  },
  {
   "id": "e105bbk",
   "iri": "https://id.confref.org/event/e105bbk",
   "kind": "event",
   "label": "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation",
   "acronyms": [
    "ISoLA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2011,
   "start": "2011-10-17",
   "end": "2011-10-18",
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e105ban",
   "iri": "https://id.confref.org/event/e105ban",
   "kind": "event",
   "label": "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation",
   "acronyms": [
    "ISoLA 2010",
    "ISoLA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2010,
   "start": "2010-10-18",
   "end": "2010-10-21",
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q160544",
   "country": "GR",
   "lat": 35.3403,
   "lon": 25.1344,
   "mode": null
  },
  {
   "id": "e105b9q",
   "iri": "https://id.confref.org/event/e105b9q",
   "kind": "event",
   "label": "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation",
   "acronyms": [
    "ISoLA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2008,
   "start": "2008-10-13",
   "end": "2008-10-15",
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q81045",
   "country": "GR",
   "lat": 40.0467,
   "lon": 23.4161,
   "mode": null
  },
  {
   "id": "e11e7yx",
   "iri": "https://id.confref.org/event/e11e7yx",
   "kind": "event",
   "label": "ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007",
   "acronyms": [
    "ISOLA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2007,
   "start": "2007-12-12",
   "end": "2007-12-14",
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q142",
   "country": "FR",
   "lat": 47.0,
   "lon": 2.0,
   "mode": null
  },
  {
   "id": "e11e7xz",
   "iri": "https://id.confref.org/event/e11e7xz",
   "kind": "event",
   "label": "Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006",
   "acronyms": [
    "ISOLA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2006,
   "start": "2006-11-15",
   "end": "2006-11-19",
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q180918",
   "country": "CY",
   "lat": 34.7761,
   "lon": 32.4265,
   "mode": null
  },
  {
   "id": "e12mdqq",
   "iri": "https://id.confref.org/event/e12mdqq",
   "kind": "event",
   "label": "Leveraging Applications of Formal Methods",
   "acronyms": [
    "ISOLA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2005,
   "start": "2005-01-01",
   "end": "2005-01-01",
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q38453",
   "country": "US",
   "lat": 34.0006,
   "lon": -81.0442,
   "mode": null
  },
  {
   "id": "e105b8s",
   "iri": "https://id.confref.org/event/e105b8s",
   "kind": "event",
   "label": "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation",
   "acronyms": [
    "ISoLA 2004",
    "ISoLA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2004,
   "start": "2004-10-30",
   "end": "2004-11-02",
   "series": [
    "s10a3sm"
   ],
   "place": "http://www.wikidata.org/entity/Q180918",
   "country": "CY",
   "lat": 34.7761,
   "lon": 32.4265,
   "mode": null
  },
  {
   "id": "e11e7w1",
   "iri": "https://id.confref.org/event/e11e7w1",
   "kind": "event",
   "label": "International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2004,
   "start": null,
   "end": null,
   "series": [
    "s10a3sm"
   ],
   "place": null,
   "country": null,
   "lat": null,
   "lon": null,
   "mode": null
  }
 ]
}