{
 "query": {
  "discipline": [
   "Q1049183"
  ],
  "country": [
   "GB"
  ],
  "page": 1
 },
 "total": 15,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "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": "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": "e12bznw",
   "iri": "https://id.confref.org/event/e12bznw",
   "kind": "event",
   "label": "15th ACM SIGCHI Symposium on Engineering Interactive Computing System",
   "acronyms": [
    "EICS '23"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2023,
   "start": "2023-06-26",
   "end": "2023-06-30",
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q6184895",
   "country": "GB",
   "lat": 51.6302,
   "lon": -3.8645,
   "mode": "on site"
  },
  {
   "id": "e1117dt",
   "iri": "https://id.confref.org/event/e1117dt",
   "kind": "event",
   "label": "Companion Proceedings of the 2023 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2023, Swansea, United Kingdom, June 27-30, 2023",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q23051",
   "country": "GB",
   "lat": 51.6167,
   "lon": -3.95,
   "mode": null
  },
  {
   "id": "e1117er",
   "iri": "https://id.confref.org/event/e1117er",
   "kind": "event",
   "label": "Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium - Swansea, UK, June 26-27, 2023, Selected Papers",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q145",
   "country": "GB",
   "lat": 54.6,
   "lon": -2.0,
   "mode": null
  },
  {
   "id": "e113jh2",
   "iri": "https://id.confref.org/event/e113jh2",
   "kind": "event",
   "label": "22nd International Symposium on Formal Methods",
   "acronyms": [
    "FM 2018",
    "FM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-15",
   "end": "2018-07-17",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": "on site"
  },
  {
   "id": "e11s1fb",
   "iri": "https://id.confref.org/event/e11s1fb",
   "kind": "event",
   "label": "Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, 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": 2015,
   "start": null,
   "end": null,
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q42462",
   "country": "GB",
   "lat": 53.95,
   "lon": -1.0833,
   "mode": null
  },
  {
   "id": "e10e1va",
   "iri": "https://id.confref.org/event/e10e1va",
   "kind": "event",
   "label": "5th ACM SIGCHI Symposium on Engineering Interactive Computing System",
   "acronyms": [
    "EICS '13",
    "EICS 2013",
    "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": 2013,
   "start": "2013-06-24",
   "end": "2013-06-27",
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q84",
   "country": "GB",
   "lat": 51.5072,
   "lon": -0.1275,
   "mode": "on site"
  },
  {
   "id": "e104bga",
   "iri": "https://id.confref.org/event/e104bga",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2011",
    "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"
   ],
   "year": 2011,
   "start": "2011-10-26",
   "end": "2011-10-28",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q179815",
   "country": "GB",
   "lat": 54.7833,
   "lon": -1.5667,
   "mode": "on site"
  },
  {
   "id": "e11hmvf",
   "iri": "https://id.confref.org/event/e11hmvf",
   "kind": "event",
   "label": "International Conference on Formal Methods and Models for Codesign",
   "acronyms": [
    "MEMOCODE 2011",
    "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"
   ],
   "year": 2011,
   "start": "2011-07-11",
   "end": "2011-07-13",
   "series": [
    "s10mqzz"
   ],
   "place": "http://www.wikidata.org/entity/Q350",
   "country": "GB",
   "lat": 52.2081,
   "lon": 0.1225,
   "mode": "on site"
  },
  {
   "id": "e11s18s",
   "iri": "https://id.confref.org/event/e11s18s",
   "kind": "event",
   "label": "5th IEEE International Conference on Software Engineering and Formal Methods",
   "acronyms": [
    "SEFM 2007",
    "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"
   ],
   "year": 2007,
   "start": "2007-09-10",
   "end": "2007-09-14",
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q84",
   "country": "GB",
   "lat": 51.5072,
   "lon": -0.1275,
   "mode": "on site"
  },
  {
   "id": "e104xex",
   "iri": "https://id.confref.org/event/e104xex",
   "kind": "event",
   "label": "International Conference on Integrated Formal Methods",
   "acronyms": [
    "IFM 2007",
    "IFM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2007,
   "start": "2007-07-02",
   "end": "2007-07-05",
   "series": [
    "s10a0h7"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": "on site"
  },
  {
   "id": "e104baq",
   "iri": "https://id.confref.org/event/e104baq",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2005",
    "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"
   ],
   "year": 2005,
   "start": "2005-11-01",
   "end": "2005-11-04",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q18125",
   "country": "GB",
   "lat": 53.4794,
   "lon": -2.2453,
   "mode": "on site"
  },
  {
   "id": "e104xc1",
   "iri": "https://id.confref.org/event/e104xc1",
   "kind": "event",
   "label": "International Conference on Integrated Formal Methods",
   "acronyms": [
    "IFM 2004",
    "IFM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2004,
   "start": "2004-04-04",
   "end": "2004-04-07",
   "series": [
    "s10a0h7"
   ],
   "place": "http://www.wikidata.org/entity/Q29303",
   "country": "GB",
   "lat": 51.2783,
   "lon": 1.0775,
   "mode": "on site"
  },
  {
   "id": "e129ryn",
   "iri": "https://id.confref.org/event/e129ryn",
   "kind": "event",
   "label": "1st International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 1996"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 1996,
   "start": "1996-03-19",
   "end": "1996-03-19",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": "on site"
  }
 ]
}