{
 "query": {
  "series": [
   "s109pnb"
  ],
  "from": 1990,
  "to": 1999,
  "page": 1
 },
 "total": 16,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "s109pnb",
   "iri": "https://id.confref.org/series/s109pnb",
   "kind": "series",
   "label": "International Symposium on Formal Methods",
   "acronyms": [
    "FM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q275603",
    "http://www.wikidata.org/entity/Q6504747"
   ],
   "first": 1978,
   "last": 2026,
   "events": 49
  },
  {
   "id": "e103b0d",
   "iri": "https://id.confref.org/event/e103b0d",
   "kind": "event",
   "label": "International Symposium on Formal Methods",
   "acronyms": [
    "FM 1999",
    "FM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1999,
   "start": "1999-09-20",
   "end": "1999-09-24",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q7880",
   "country": "FR",
   "lat": 43.6044,
   "lon": 1.4433,
   "mode": "on site"
  },
  {
   "id": "e113jg4",
   "iri": "https://id.confref.org/event/e113jg4",
   "kind": "event",
   "label": "FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q275603",
    "http://www.wikidata.org/entity/Q6504747"
   ],
   "year": 1999,
   "start": null,
   "end": null,
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q7880",
   "country": "FR",
   "lat": 43.6044,
   "lon": 1.4433,
   "mode": null
  },
  {
   "id": "e103azf",
   "iri": "https://id.confref.org/event/e103azf",
   "kind": "event",
   "label": "International Symposium on Formal Methods",
   "acronyms": [
    "FM 1998",
    "FM",
    "FM-Trends"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1998,
   "start": "1998-10-07",
   "end": "1998-10-09",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q521148",
   "country": "DE",
   "lat": 50.2314,
   "lon": 7.5908,
   "mode": "on site"
  },
  {
   "id": "e103ayh",
   "iri": "https://id.confref.org/event/e103ayh",
   "kind": "event",
   "label": "International Symposium on Formal Methods",
   "acronyms": [
    "FM 1997",
    "FME 1997",
    "FME"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1997,
   "start": "1997-09-15",
   "end": "1997-09-19",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q13298",
   "country": "AT",
   "lat": 47.0708,
   "lon": 15.4386,
   "mode": "on site"
  },
  {
   "id": "e103axk",
   "iri": "https://id.confref.org/event/e103axk",
   "kind": "event",
   "label": "International Symposium on Formal Methods",
   "acronyms": [
    "FM 1996",
    "FM",
    "FME"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1996,
   "start": "1996-03-18",
   "end": "1996-03-22",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": "on site"
  },
  {
   "id": "e103awn",
   "iri": "https://id.confref.org/event/e103awn",
   "kind": "event",
   "label": "International Symposium of Formal Methods Europe",
   "acronyms": [
    "FM",
    "FME"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1994,
   "start": "1994-10-24",
   "end": "1994-10-28",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q1492",
   "country": "ES",
   "lat": 41.3825,
   "lon": 2.1769,
   "mode": null
  },
  {
   "id": "e129rjd",
   "iri": "https://id.confref.org/event/e129rjd",
   "kind": "event",
   "label": "International Symposium on Formal Methods",
   "acronyms": [
    "FM 1994"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q275603",
    "http://www.wikidata.org/entity/Q6504747"
   ],
   "year": 1994,
   "start": "1994-10-18",
   "end": "1994-10-24",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q1492",
   "country": "ES",
   "lat": 41.3825,
   "lon": 2.1769,
   "mode": "on site"
  },
  {
   "id": "e103avq",
   "iri": "https://id.confref.org/event/e103avq",
   "kind": "event",
   "label": "International Symposium on Formal Methods",
   "acronyms": [
    "FM 1993",
    "FME 1993",
    "FME"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1993,
   "start": "1993-04-19",
   "end": "1993-04-23",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q25331",
   "country": "DK",
   "lat": 55.4,
   "lon": 10.3833,
   "mode": "on site"
  },
  {
   "id": "e12k4n6",
   "iri": "https://id.confref.org/event/e12k4n6",
   "kind": "event",
   "label": "Formal Methods (FM)",
   "acronyms": [
    "FM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1991,
   "start": "1991-10-21",
   "end": "1991-10-25",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q29999",
   "country": "NL",
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": null
  },
  {
   "id": "e12p6sp",
   "iri": "https://id.confref.org/event/e12p6sp",
   "kind": "event",
   "label": "International Symposium of VDM Europe",
   "acronyms": [
    "VDM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1991,
   "start": "1991-10-21",
   "end": "1991-10-25",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q29999",
   "country": "NL",
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": null
  },
  {
   "id": "e113jy8",
   "iri": "https://id.confref.org/event/e113jy8",
   "kind": "event",
   "label": "VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q275603",
    "http://www.wikidata.org/entity/Q6504747"
   ],
   "year": 1991,
   "start": null,
   "end": null,
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q29999",
   "country": "NL",
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": null
  },
  {
   "id": "e10ez3x",
   "iri": "https://id.confref.org/event/e10ez3x",
   "kind": "event",
   "label": "VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990",
   "acronyms": [
    "VDM Europe 1990"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1478998"
   ],
   "year": 1990,
   "start": "1990-04-17",
   "end": "1990-04-21",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q1707",
   "country": "DE",
   "lat": 54.3233,
   "lon": 10.1394,
   "mode": null
  },
  {
   "id": "e12k4m8",
   "iri": "https://id.confref.org/event/e12k4m8",
   "kind": "event",
   "label": "Formal Methods (FM)",
   "acronyms": [
    "FM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1990,
   "start": "1990-04-17",
   "end": "1990-04-21",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q1707",
   "country": "DE",
   "lat": 54.3233,
   "lon": 10.1394,
   "mode": null
  },
  {
   "id": "e12p6rr",
   "iri": "https://id.confref.org/event/e12p6rr",
   "kind": "event",
   "label": "International Symposium of VDM Europe",
   "acronyms": [
    "VDM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1990,
   "start": "1990-04-17",
   "end": "1990-04-21",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q1707",
   "country": "DE",
   "lat": 54.3233,
   "lon": 10.1394,
   "mode": null
  },
  {
   "id": "e113jxa",
   "iri": "https://id.confref.org/event/e113jxa",
   "kind": "event",
   "label": "VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q275603",
    "http://www.wikidata.org/entity/Q6504747"
   ],
   "year": 1990,
   "start": null,
   "end": null,
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q1707",
   "country": "DE",
   "lat": 54.3233,
   "lon": 10.1394,
   "mode": null
  }
 ]
}