{
 "query": {
  "field": [
   "1"
  ],
  "discipline": [
   "Q1049183"
  ],
  "page": 1
 },
 "total": 189,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e1117kd",
   "iri": "https://id.confref.org/event/e1117kd",
   "kind": "event",
   "label": "Companion Proceedings of the 18th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2026, Patras, Greece, 30 June 2026- 3 July 2026",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2026,
   "start": null,
   "end": null,
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q133123",
   "country": "GR",
   "lat": 38.2464,
   "lon": 21.7349,
   "mode": null
  },
  {
   "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": "e113mbd",
   "iri": "https://id.confref.org/event/e113mbd",
   "kind": "event",
   "label": "Formal Methods for Industrial Critical Systems - 31st International Conference, FMICS 2026, Liverpool, UK, September 3-4, 2026, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2026,
   "start": null,
   "end": null,
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q24826",
   "country": "GB",
   "lat": 53.4072,
   "lon": -2.9917,
   "mode": null
  },
  {
   "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": "s109ps3",
   "iri": "https://id.confref.org/series/s109ps3",
   "kind": "series",
   "label": "International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 1996,
   "last": 2026,
   "events": 31
  },
  {
   "id": "s10abw6",
   "iri": "https://id.confref.org/series/s10abw6",
   "kind": "series",
   "label": "NASA Formal Methods Symposium",
   "acronyms": [
    "NFM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 2009,
   "last": 2026,
   "events": 18
  },
  {
   "id": "s10c0qq",
   "iri": "https://id.confref.org/series/s10c0qq",
   "kind": "series",
   "label": "ACM SIGCHI Symposium on Engineering Interactive Computing System",
   "acronyms": [
    "EICS",
    "EnCHIReS"
   ],
   "fields": [
    "1.1",
    "1.2",
    "5.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 2009,
   "last": 2026,
   "events": 25
  },
  {
   "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": "e113maf",
   "iri": "https://id.confref.org/event/e113maf",
   "kind": "event",
   "label": "Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q25319",
   "country": "DK",
   "lat": 56.1564,
   "lon": 10.2097,
   "mode": null
  },
  {
   "id": "e11bx6y",
   "iri": "https://id.confref.org/event/e11bx6y",
   "kind": "event",
   "label": "Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s10a0h7"
   ],
   "place": "http://www.wikidata.org/entity/Q90",
   "country": "FR",
   "lat": 48.8567,
   "lon": 2.3522,
   "mode": null
  },
  {
   "id": "e11hn9k",
   "iri": "https://id.confref.org/event/e11hn9k",
   "kind": "event",
   "label": "Proceedings of the International Symposium on Formal Methods and Models for System Design, MEMOCODE 2025, Taipei International Convention Center (TICC), Taipei, Taiwan, 28 September 2025 - 3 October 2025",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q1569697",
    "http://www.wikidata.org/entity/Q6504747"
   ],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s10mqzz"
   ],
   "place": "http://www.wikidata.org/entity/Q10914105",
   "country": "TW",
   "lat": 25.0336,
   "lon": 121.5608,
   "mode": null
  },
  {
   "id": "e11s1yc",
   "iri": "https://id.confref.org/event/e11s1yc",
   "kind": "event",
   "label": "Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q5836",
   "country": "ES",
   "lat": 39.8667,
   "lon": -4.0333,
   "mode": null
  },
  {
   "id": "s109pp9",
   "iri": "https://id.confref.org/series/s109pp9",
   "kind": "series",
   "label": "Formal Methods in Computer-Aided Design",
   "acronyms": [
    "FMCAD"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q3966"
   ],
   "first": 1996,
   "last": 2025,
   "events": 25
  },
  {
   "id": "s109wfj",
   "iri": "https://id.confref.org/series/s109wfj",
   "kind": "series",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "first": 1997,
   "last": 2025,
   "events": 27
  },
  {
   "id": "s10a0h7",
   "iri": "https://id.confref.org/series/s10a0h7",
   "kind": "series",
   "label": "International Conference on Integrated Formal Methods",
   "acronyms": [
    "IFM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 1999,
   "last": 2025,
   "events": 23
  },
  {
   "id": "s10aja4",
   "iri": "https://id.confref.org/series/s10aja4",
   "kind": "series",
   "label": "International Conference on Software Engineering and Formal Methods",
   "acronyms": [
    "SEFM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "first": 2003,
   "last": 2025,
   "events": 34
  },
  {
   "id": "s10mqzz",
   "iri": "https://id.confref.org/series/s10mqzz",
   "kind": "series",
   "label": "International Conference on Formal Methods and Models for System Design",
   "acronyms": [
    "MEMOCODE"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q1569697",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q6504747"
   ],
   "first": 2003,
   "last": 2025,
   "events": 23
  },
  {
   "id": "e113jqp",
   "iri": "https://id.confref.org/event/e113jqp",
   "kind": "event",
   "label": "26th International Symposium on Formal Methods",
   "acronyms": [
    "FM 2024"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2024,
   "start": "2024-09-09",
   "end": "2024-09-13",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q490",
   "country": "IT",
   "lat": 45.4669,
   "lon": 9.19,
   "mode": "on site"
  },
  {
   "id": "e1117fp",
   "iri": "https://id.confref.org/event/e1117fp",
   "kind": "event",
   "label": "16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems",
   "acronyms": [
    "EICS '24"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2024,
   "start": "2024-06-24",
   "end": "2024-06-28",
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q1897",
   "country": "IT",
   "lat": 39.2149,
   "lon": 9.1095,
   "mode": "on site"
  },
  {
   "id": "e1117gk",
   "iri": "https://id.confref.org/event/e1117gk",
   "kind": "event",
   "label": "Engineering Interactive Computer Systems. EICS 2024 International Workshops - Cagliari, Sardinia, Italy, June 24-26, 2024, Revised Selected Papers",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q1462",
   "country": "IT",
   "lat": 40.0,
   "lon": 9.0,
   "mode": null
  },
  {
   "id": "e113m9h",
   "iri": "https://id.confref.org/event/e113m9h",
   "kind": "event",
   "label": "Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q490",
   "country": "IT",
   "lat": 45.4669,
   "lon": 9.19,
   "mode": null
  },
  {
   "id": "e11bx50",
   "iri": "https://id.confref.org/event/e11bx50",
   "kind": "event",
   "label": "Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s10a0h7"
   ],
   "place": "http://www.wikidata.org/entity/Q18125",
   "country": "GB",
   "lat": 53.4794,
   "lon": -2.2453,
   "mode": null
  },
  {
   "id": "e11hn8n",
   "iri": "https://id.confref.org/event/e11hn8n",
   "kind": "event",
   "label": "22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, Raleigh, NC, USA, October 3-4, 2024",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q1569697",
    "http://www.wikidata.org/entity/Q6504747"
   ],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s10mqzz"
   ],
   "place": "http://www.wikidata.org/entity/Q41087",
   "country": "US",
   "lat": 35.78,
   "lon": -78.64,
   "mode": null
  },
  {
   "id": "e11s1wg",
   "iri": "https://id.confref.org/event/e11s1wg",
   "kind": "event",
   "label": "Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q485581",
   "country": "PT",
   "lat": 40.6389,
   "lon": -8.6553,
   "mode": null
  }
 ]
}