{
 "query": {
  "discipline": [
   "Q1049183"
  ],
  "page": 2
 },
 "total": 189,
 "sort": "newest",
 "page": 2,
 "per_page": 25,
 "results": [
  {
   "id": "e11s1xe",
   "iri": "https://id.confref.org/event/e11s1xe",
   "kind": "event",
   "label": "Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, 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": 2024,
   "start": null,
   "end": null,
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q485581",
   "country": "PT",
   "lat": 40.6389,
   "lon": -8.6553,
   "mode": null
  },
  {
   "id": "e11s1tm",
   "iri": "https://id.confref.org/event/e11s1tm",
   "kind": "event",
   "label": "21st International Conference on Software Engineering and Formal Methods",
   "acronyms": [
    "SEFM 2023"
   ],
   "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": 2023,
   "start": "2023-11-06",
   "end": "2023-11-10",
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q29999",
   "country": "NL",
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": "on site"
  },
  {
   "id": "e113m8k",
   "iri": "https://id.confref.org/event/e113m8k",
   "kind": "event",
   "label": "28th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2023"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2023,
   "start": "2023-09-18",
   "end": "2023-09-23",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q12892",
   "country": "BE",
   "lat": 51.2211,
   "lon": 4.3997,
   "mode": "on site"
  },
  {
   "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": "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": "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": "e11bx42",
   "iri": "https://id.confref.org/event/e11bx42",
   "kind": "event",
   "label": "iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s10a0h7"
   ],
   "place": "http://www.wikidata.org/entity/Q29999",
   "country": "NL",
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": null
  },
  {
   "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": "e11s1vj",
   "iri": "https://id.confref.org/event/e11s1vj",
   "kind": "event",
   "label": "Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, 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": 2023,
   "start": null,
   "end": null,
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q29999",
   "country": "NL",
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": null
  },
  {
   "id": "e11hn6s",
   "iri": "https://id.confref.org/event/e11hn6s",
   "kind": "event",
   "label": "International Conference on Formal Methods and Models for System Design",
   "acronyms": [
    "MEMOCODE 2022"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q1569697",
    "http://www.wikidata.org/entity/Q6504747"
   ],
   "year": 2022,
   "start": "2022-10-13",
   "end": "2022-10-14",
   "series": [
    "s10mqzz"
   ],
   "place": "http://www.wikidata.org/entity/Q8686",
   "country": "CN",
   "lat": 31.2325,
   "lon": 121.4692,
   "mode": "hybrid"
  },
  {
   "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": "e113m7n",
   "iri": "https://id.confref.org/event/e113m7n",
   "kind": "event",
   "label": "27th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2022"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2022,
   "start": "2022-09-14",
   "end": "2022-09-15",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q270",
   "country": "PL",
   "lat": 52.23,
   "lon": 21.0111,
   "mode": "on site"
  },
  {
   "id": "e1117cw",
   "iri": "https://id.confref.org/event/e1117cw",
   "kind": "event",
   "label": "14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems",
   "acronyms": [
    "EICS '22"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2022,
   "start": "2022-06-21",
   "end": "2022-06-24",
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q1359930",
   "country": "FR",
   "lat": 43.6222,
   "lon": 7.05,
   "mode": "on site"
  },
  {
   "id": "e11bx34",
   "iri": "https://id.confref.org/event/e11bx34",
   "kind": "event",
   "label": "International Conference on Integrated Formal Methods",
   "acronyms": [
    "IFM 2022"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2022,
   "start": "2022-06-07",
   "end": "2022-06-10",
   "series": [
    "s10a0h7"
   ],
   "place": "http://www.wikidata.org/entity/Q7024",
   "country": "CH",
   "lat": 46.0103,
   "lon": 8.9625,
   "mode": "on site"
  },
  {
   "id": "e1117by",
   "iri": "https://id.confref.org/event/e1117by",
   "kind": "event",
   "label": "EICS '22: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Sophia Antipolis, France, June 21 - 24, 2022, Companion Volume",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2022,
   "start": null,
   "end": null,
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q1359930",
   "country": "FR",
   "lat": 43.6222,
   "lon": 7.05,
   "mode": null
  },
  {
   "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": "e11s1pw",
   "iri": "https://id.confref.org/event/e11s1pw",
   "kind": "event",
   "label": "19th International Conference on Software Engineering and Formal Methods",
   "acronyms": [
    "SEFM 2021"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2021,
   "start": "2021-12-06",
   "end": "2021-12-10",
   "series": [
    "s10aja4"
   ],
   "place": null,
   "country": null,
   "lat": null,
   "lon": null,
   "mode": "online"
  },
  {
   "id": "e113jnt",
   "iri": "https://id.confref.org/event/e113jnt",
   "kind": "event",
   "label": "24th International Symposium on Formal Methods",
   "acronyms": [
    "FM 2021"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2021,
   "start": "2021-11-20",
   "end": "2021-11-26",
   "series": [
    "s109pnb"
   ],
   "place": null,
   "country": null,
   "lat": null,
   "lon": null,
   "mode": "online"
  },
  {
   "id": "e11hn5v",
   "iri": "https://id.confref.org/event/e11hn5v",
   "kind": "event",
   "label": "International Conference on Formal Methods and Models for System Design",
   "acronyms": [
    "MEMOCODE 2021"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q1569697",
    "http://www.wikidata.org/entity/Q6504747"
   ],
   "year": 2021,
   "start": "2021-11-20",
   "end": "2021-11-22",
   "series": [
    "s10mqzz"
   ],
   "place": null,
   "country": null,
   "lat": null,
   "lon": null,
   "mode": "online"
  },
  {
   "id": "e113m6q",
   "iri": "https://id.confref.org/event/e113m6q",
   "kind": "event",
   "label": "26th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2021"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2021,
   "start": "2021-08-24",
   "end": "2021-08-26",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q90",
   "country": "FR",
   "lat": 48.8567,
   "lon": 2.3522,
   "mode": "online"
  },
  {
   "id": "e10g1s9",
   "iri": "https://id.confref.org/event/e10g1s9",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2020"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2021,
   "start": "2021-03-01",
   "end": "2021-03-03",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q334",
   "country": "SG",
   "lat": 1.3,
   "lon": 103.8,
   "mode": "hybrid"
  },
  {
   "id": "e1117a0",
   "iri": "https://id.confref.org/event/e1117a0",
   "kind": "event",
   "label": "EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q29999",
   "country": "NL",
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": null
  },
  {
   "id": "e112xx1",
   "iri": "https://id.confref.org/event/e112xx1",
   "kind": "event",
   "label": "Proceedings of the 2021 Workshops on Computer Human Interaction in IoT Applications co-located with the International Conference on Embedded Wireless Systems and Networks (EWSN 2021) and the 13th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2021), Delft, Netherlands, February 17, 2021 and Eindhoven, Netherlands, June 8, 2021.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q29999",
   "country": "NL",
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": null
  },
  {
   "id": "e11s1qt",
   "iri": "https://id.confref.org/event/e11s1qt",
   "kind": "event",
   "label": "Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, 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": 2021,
   "start": null,
   "end": null,
   "series": [
    "s10aja4"
   ],
   "place": null,
   "country": null,
   "lat": null,
   "lon": null,
   "mode": null
  }
 ]
}