{
 "query": {
  "kind": "event",
  "series": [
   "s109pnb"
  ],
  "page": 2
 },
 "total": 49,
 "sort": "newest",
 "page": 2,
 "per_page": 25,
 "results": [
  {
   "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
  },
  {
   "id": "e12k4ka",
   "iri": "https://id.confref.org/event/e12k4ka",
   "kind": "event",
   "label": "Formal Methods (FM)",
   "acronyms": [
    "FM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1988,
   "start": "1988-09-11",
   "end": "1988-09-16",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q1761",
   "country": "IE",
   "lat": 53.3497,
   "lon": -6.2603,
   "mode": null
  },
  {
   "id": "e12p6qt",
   "iri": "https://id.confref.org/event/e12p6qt",
   "kind": "event",
   "label": "International Symposium of VDM Europe",
   "acronyms": [
    "VDM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1988,
   "start": "1988-09-11",
   "end": "1988-09-16",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q1761",
   "country": "IE",
   "lat": 53.3497,
   "lon": -6.2603,
   "mode": null
  },
  {
   "id": "e113jwc",
   "iri": "https://id.confref.org/event/e113jwc",
   "kind": "event",
   "label": "VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, 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": 1988,
   "start": null,
   "end": null,
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q1761",
   "country": "IE",
   "lat": 53.3497,
   "lon": -6.2603,
   "mode": null
  },
  {
   "id": "e12k4jc",
   "iri": "https://id.confref.org/event/e12k4jc",
   "kind": "event",
   "label": "Formal Methods (FM)",
   "acronyms": [
    "FM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1987,
   "start": "1987-03-23",
   "end": "1987-03-26",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q239",
   "country": "BE",
   "lat": 50.8467,
   "lon": 4.3517,
   "mode": null
  },
  {
   "id": "e12p6pw",
   "iri": "https://id.confref.org/event/e12p6pw",
   "kind": "event",
   "label": "International Symposium of VDM Europe",
   "acronyms": [
    "VDM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1987,
   "start": "1987-03-23",
   "end": "1987-03-26",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q239",
   "country": "BE",
   "lat": 50.8467,
   "lon": 4.3517,
   "mode": null
  },
  {
   "id": "e113jve",
   "iri": "https://id.confref.org/event/e113jve",
   "kind": "event",
   "label": "VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, 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": 1987,
   "start": null,
   "end": null,
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q239",
   "country": "BE",
   "lat": 50.8467,
   "lon": 4.3517,
   "mode": null
  },
  {
   "id": "e12k4he",
   "iri": "https://id.confref.org/event/e12k4he",
   "kind": "event",
   "label": "Formal Methods (FM)",
   "acronyms": [
    "FM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1981,
   "start": "1981-01-01",
   "end": "1981-01-01",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q25319",
   "country": "DK",
   "lat": 56.1564,
   "lon": 10.2097,
   "mode": null
  },
  {
   "id": "e113jsj",
   "iri": "https://id.confref.org/event/e113jsj",
   "kind": "event",
   "label": "Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981",
   "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": 1981,
   "start": null,
   "end": null,
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q25319",
   "country": "DK",
   "lat": 56.1564,
   "lon": 10.2097,
   "mode": null
  },
  {
   "id": "e113jf7",
   "iri": "https://id.confref.org/event/e113jf7",
   "kind": "event",
   "label": "The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany",
   "acronyms": [
    "FM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1979,
   "start": "1979-06-25",
   "end": "1979-06-27",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "mode": null
  },
  {
   "id": "e12k4gg",
   "iri": "https://id.confref.org/event/e12k4gg",
   "kind": "event",
   "label": "Formal Methods (FM)",
   "acronyms": [
    "FM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1978,
   "start": "1978-01-01",
   "end": "1978-01-01",
   "series": [
    "s109pnb"
   ],
   "place": null,
   "country": null,
   "lat": null,
   "lon": null,
   "mode": null
  },
  {
   "id": "e113jtg",
   "iri": "https://id.confref.org/event/e113jtg",
   "kind": "event",
   "label": "The Vienna Development Method: The Meta-Language",
   "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": 1978,
   "start": null,
   "end": null,
   "series": [
    "s109pnb"
   ],
   "place": null,
   "country": null,
   "lat": null,
   "lon": null,
   "mode": null
  }
 ]
}