{
 "query": {
  "kind": "event",
  "discipline": [
   "Q6504747"
  ],
  "series": [
   "s109pnb"
  ],
  "page": 1
 },
 "total": 14,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e113jrm",
   "iri": "https://id.confref.org/event/e113jrm",
   "kind": "event",
   "label": "Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part 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": 2026,
   "start": null,
   "end": null,
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q1490",
   "country": "JP",
   "lat": 35.6894,
   "lon": 139.6917,
   "mode": null
  },
  {
   "id": "e113jky",
   "iri": "https://id.confref.org/event/e113jky",
   "kind": "event",
   "label": "Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part 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": 2019,
   "start": null,
   "end": null,
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q45",
   "country": "PT",
   "lat": 38.7,
   "lon": -9.1833,
   "mode": null
  },
  {
   "id": "e113jmw",
   "iri": "https://id.confref.org/event/e113jmw",
   "kind": "event",
   "label": "Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II",
   "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": 2019,
   "start": null,
   "end": null,
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q45",
   "country": "PT",
   "lat": 38.7,
   "lon": -9.1833,
   "mode": null
  },
  {
   "id": "e103b37",
   "iri": "https://id.confref.org/event/e103b37",
   "kind": "event",
   "label": "International Symposium on Formal Methods",
   "acronyms": [
    "FM 2003",
    "FME"
   ],
   "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": 2003,
   "start": "2003-09-08",
   "end": "2003-09-14",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q13375",
   "country": "IT",
   "lat": 43.7167,
   "lon": 10.4,
   "mode": "on site"
  },
  {
   "id": "e103b29",
   "iri": "https://id.confref.org/event/e103b29",
   "kind": "event",
   "label": "International Symposium on Formal Methods",
   "acronyms": [
    "FM 2002",
    "FME"
   ],
   "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": 2002,
   "start": "2002-07-22",
   "end": "2002-07-24",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q1748",
   "country": "DK",
   "lat": 55.6761,
   "lon": 12.5689,
   "mode": "on site"
  },
  {
   "id": "e129rhf",
   "iri": "https://id.confref.org/event/e129rhf",
   "kind": "event",
   "label": "International Symposium on Formal Methods",
   "acronyms": [
    "FM 2001"
   ],
   "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": 2001,
   "start": "2001-05-12",
   "end": "2001-05-16",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "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": "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": "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": "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": "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": "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": "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": "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
  }
 ]
}