{
 "query": {
  "series": [
   "s10a3sm"
  ],
  "from": 2010,
  "to": 2019,
  "page": 1
 },
 "total": 9,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "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": "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
  }
 ]
}