{
 "query": {
  "field": [
   "1"
  ],
  "discipline": [
   "Q1049183"
  ],
  "country": [
   "DE"
  ],
  "page": 1
 },
 "total": 15,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e1117hh",
   "iri": "https://id.confref.org/event/e1117hh",
   "kind": "event",
   "label": "Companion Proceedings of the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2025, Trier, Germany, June 23-27, 2025",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q3138",
   "country": "DE",
   "lat": 49.7557,
   "lon": 6.6394,
   "mode": null
  },
  {
   "id": "e1117jf",
   "iri": "https://id.confref.org/event/e1117jf",
   "kind": "event",
   "label": "Engineering Interactive Computer Systems. EICS 2025 International Workshops - Trier, Germany, June 23-27, 2025, Revised Selected Papers",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q183",
   "country": "DE",
   "lat": 51.0,
   "lon": 10.0,
   "mode": null
  },
  {
   "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": "e11hn7q",
   "iri": "https://id.confref.org/event/e11hn7q",
   "kind": "event",
   "label": "21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q1569697",
    "http://www.wikidata.org/entity/Q6504747"
   ],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s10mqzz"
   ],
   "place": "http://www.wikidata.org/entity/Q1055",
   "country": "DE",
   "lat": 53.55,
   "lon": 10.0,
   "mode": null
  },
  {
   "id": "e11s1rr",
   "iri": "https://id.confref.org/event/e11s1rr",
   "kind": "event",
   "label": "20th International Conference on Software Engineering and Formal Methods",
   "acronyms": [
    "SEFM 2022"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2022,
   "start": "2022-09-26",
   "end": "2022-09-30",
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "mode": "on site"
  },
  {
   "id": "e11s1sp",
   "iri": "https://id.confref.org/event/e11s1sp",
   "kind": "event",
   "label": "Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2022,
   "start": null,
   "end": null,
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "mode": null
  },
  {
   "id": "e10dth7",
   "iri": "https://id.confref.org/event/e10dth7",
   "kind": "event",
   "label": "7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems",
   "acronyms": [
    "EICS '15",
    "EICS 2015",
    "EICS"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2015,
   "start": "2015-06-23",
   "end": "2015-06-26",
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q2100",
   "country": "DE",
   "lat": 51.4322,
   "lon": 6.7611,
   "mode": "on site"
  },
  {
   "id": "e10f10z",
   "iri": "https://id.confref.org/event/e10f10z",
   "kind": "event",
   "label": "2nd ACM SIGCHI Symposium on Engineering Interactive Computing System",
   "acronyms": [
    "EICS '10",
    "EICS 2010",
    "EICS"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2010,
   "start": "2010-06-19",
   "end": "2010-06-23",
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "mode": "on site"
  },
  {
   "id": "e104xfv",
   "iri": "https://id.confref.org/event/e104xfv",
   "kind": "event",
   "label": "International Conference on Integrated Formal Methods",
   "acronyms": [
    "IFM 2009",
    "IFM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2009,
   "start": "2009-02-16",
   "end": "2009-02-19",
   "series": [
    "s10a0h7"
   ],
   "place": "http://www.wikidata.org/entity/Q1718",
   "country": "DE",
   "lat": 51.2256,
   "lon": 6.7767,
   "mode": "on site"
  },
  {
   "id": "e103byg",
   "iri": "https://id.confref.org/event/e103byg",
   "kind": "event",
   "label": "12th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2007",
    "FMICS"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2007,
   "start": "2007-07-01",
   "end": "2007-07-02",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "mode": "on site"
  },
  {
   "id": "e103bxj",
   "iri": "https://id.confref.org/event/e103bxj",
   "kind": "event",
   "label": "11th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2006",
    "FMICS"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2006,
   "start": "2006-08-26",
   "end": "2006-08-27",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q586",
   "country": "DE",
   "lat": 50.7353,
   "lon": 7.1022,
   "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": "e104xa5",
   "iri": "https://id.confref.org/event/e104xa5",
   "kind": "event",
   "label": "International Conference on Integrated Formal Methods",
   "acronyms": [
    "IFM 2000",
    "IFM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2000,
   "start": "2000-11-01",
   "end": "2000-11-03",
   "series": [
    "s10a0h7",
    "s121qe7"
   ],
   "place": "http://www.wikidata.org/entity/Q879857",
   "country": "DE",
   "lat": 49.5303,
   "lon": 6.8992,
   "mode": "on site"
  },
  {
   "id": "e129s2d",
   "iri": "https://id.confref.org/event/e129s2d",
   "kind": "event",
   "label": "5th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2000"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2000,
   "start": "2000-04-03",
   "end": "2000-04-04",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "mode": "on site"
  },
  {
   "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
  }
 ]
}