{
 "query": {
  "kind": "event",
  "discipline": [
   "Q1049183"
  ],
  "page": 2
 },
 "total": 180,
 "sort": "newest",
 "page": 2,
 "per_page": 25,
 "results": [
  {
   "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
  },
  {
   "id": "e11hn4x",
   "iri": "https://id.confref.org/event/e11hn4x",
   "kind": "event",
   "label": "International Conference on Formal Methods and Models for System Design",
   "acronyms": [
    "MEMOCODE 2020"
   ],
   "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": 2020,
   "start": "2020-12-02",
   "end": "2020-12-04",
   "series": [
    "s10mqzz"
   ],
   "place": "http://www.wikidata.org/entity/Q66485",
   "country": "IN",
   "lat": 26.915,
   "lon": 75.82,
   "mode": "on site"
  },
  {
   "id": "e10fjat",
   "iri": "https://id.confref.org/event/e10fjat",
   "kind": "event",
   "label": "Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings",
   "acronyms": [
    "SBMF 2020"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2020,
   "start": "2020-11-25",
   "end": "2020-11-27",
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q188905",
   "country": "BR",
   "lat": -20.3853,
   "lon": -43.5036,
   "mode": null
  },
  {
   "id": "e11bx26",
   "iri": "https://id.confref.org/event/e11bx26",
   "kind": "event",
   "label": "16th International Conference on Integrated Formal Methods",
   "acronyms": [
    "IFM 2020"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2020,
   "start": "2020-11-16",
   "end": "2020-11-20",
   "series": [
    "s10a0h7"
   ],
   "place": "http://www.wikidata.org/entity/Q7024",
   "country": "CH",
   "lat": 46.0103,
   "lon": 8.9625,
   "mode": "on site"
  },
  {
   "id": "e10fwe8",
   "iri": "https://id.confref.org/event/e10fwe8",
   "kind": "event",
   "label": "Formal Methods in Computer-Aided Design 2020",
   "acronyms": [
    "FMCAD 2020"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q3966"
   ],
   "year": 2020,
   "start": "2020-09-21",
   "end": "2020-09-24",
   "series": [
    "s109pp9"
   ],
   "place": "http://www.wikidata.org/entity/Q41621",
   "country": "IL",
   "lat": 32.8192,
   "lon": 34.9992,
   "mode": "online"
  },
  {
   "id": "e11s1m0",
   "iri": "https://id.confref.org/event/e11s1m0",
   "kind": "event",
   "label": "18th International Conference on Software Engineering and Formal Methods",
   "acronyms": [
    "SEFM 2020"
   ],
   "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": 2020,
   "start": "2020-09-14",
   "end": "2020-09-18",
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q29999",
   "country": "NL",
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": "online"
  },
  {
   "id": "e113m5s",
   "iri": "https://id.confref.org/event/e113m5s",
   "kind": "event",
   "label": "25th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2020"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2020,
   "start": "2020-09-02",
   "end": "2020-09-03",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": "on site"
  },
  {
   "id": "e10fw6r",
   "iri": "https://id.confref.org/event/e10fw6r",
   "kind": "event",
   "label": "FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020",
   "acronyms": [
    "FormaliSE@ICSE 2020"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2020,
   "start": "2020-07-13",
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q8684",
   "country": "KR",
   "lat": 37.56,
   "lon": 126.99,
   "mode": null
  },
  {
   "id": "e111792",
   "iri": "https://id.confref.org/event/e111792",
   "kind": "event",
   "label": "12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems",
   "acronyms": [
    "EICS '20"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2020,
   "start": "2020-06-23",
   "end": "2020-06-26",
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q1359930",
   "country": "FR",
   "lat": 43.6222,
   "lon": 7.05,
   "mode": "on site"
  },
  {
   "id": "e11s1ny",
   "iri": "https://id.confref.org/event/e11s1ny",
   "kind": "event",
   "label": "Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, 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": 2020,
   "start": null,
   "end": null,
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q29999",
   "country": "NL",
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": null
  }
 ]
}