{
 "query": {
  "series": [
   "s109pnb"
  ],
  "country": [
   "DE"
  ],
  "page": 1
 },
 "total": 9,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e113jpr",
   "iri": "https://id.confref.org/event/e113jpr",
   "kind": "event",
   "label": "25th International Symposium on Formal Methods",
   "acronyms": [
    "FM 2023"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2023,
   "start": "2023-03-06",
   "end": "2023-03-10",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q2843",
   "country": "DE",
   "lat": 53.8697,
   "lon": 10.6864,
   "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": "e103b1b",
   "iri": "https://id.confref.org/event/e103b1b",
   "kind": "event",
   "label": "International Symposium of Formal Methods Europe",
   "acronyms": [
    "FM",
    "FME"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2001,
   "start": "2001-03-12",
   "end": "2001-03-16",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "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": "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": "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
  }
 ]
}