{
 "query": {
  "field": [
   "1.2"
  ],
  "discipline": [
   "Q1049183"
  ],
  "country": [
   "FR"
  ],
  "page": 1
 },
 "total": 15,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "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": "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": "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": "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": "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": "e11s1h6",
   "iri": "https://id.confref.org/event/e11s1h6",
   "kind": "event",
   "label": "16th International Conference on Software Engineering and Formal Methods",
   "acronyms": [
    "SEFM 2018",
    "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": 2018,
   "start": "2018-06-27",
   "end": "2018-06-29",
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q7880",
   "country": "FR",
   "lat": 43.6044,
   "lon": 1.4433,
   "mode": "on site"
  },
  {
   "id": "e10f0v9",
   "iri": "https://id.confref.org/event/e10f0v9",
   "kind": "event",
   "label": "10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems",
   "acronyms": [
    "EICS '18",
    "EICS 2018",
    "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": 2018,
   "start": "2018-06-19",
   "end": "2018-06-22",
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q90",
   "country": "FR",
   "lat": 48.8567,
   "lon": 2.3522,
   "mode": "on site"
  },
  {
   "id": "e11s1ed",
   "iri": "https://id.confref.org/event/e11s1ed",
   "kind": "event",
   "label": "Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, 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": 2014,
   "start": null,
   "end": null,
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q1289",
   "country": "FR",
   "lat": 45.1869,
   "lon": 5.7264,
   "mode": null
  },
  {
   "id": "e103b9v",
   "iri": "https://id.confref.org/event/e103b9v",
   "kind": "event",
   "label": "18th International Symposium on Formal Methods",
   "acronyms": [
    "FM 2012",
    "FM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2012,
   "start": "2012-08-27",
   "end": "2012-08-31",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q90",
   "country": "FR",
   "lat": 48.8567,
   "lon": 2.3522,
   "mode": "on site"
  },
  {
   "id": "e103c36",
   "iri": "https://id.confref.org/event/e103c36",
   "kind": "event",
   "label": "17th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2012",
    "FMICS"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2012,
   "start": "2012-08-27",
   "end": "2012-08-28",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q90",
   "country": "FR",
   "lat": 48.8567,
   "lon": 2.3522,
   "mode": "on site"
  },
  {
   "id": "e104xgr",
   "iri": "https://id.confref.org/event/e104xgr",
   "kind": "event",
   "label": "International Conference on Integrated Formal Methods",
   "acronyms": [
    "IFM 2010",
    "IFM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2010,
   "start": "2010-10-11",
   "end": "2010-10-14",
   "series": [
    "s10a0h7"
   ],
   "place": "http://www.wikidata.org/entity/Q40898",
   "country": "FR",
   "lat": 48.6928,
   "lon": 6.1836,
   "mode": "on site"
  },
  {
   "id": "e11hmth",
   "iri": "https://id.confref.org/event/e11hmth",
   "kind": "event",
   "label": "International Conference on Formal Methods and Models for Codesign",
   "acronyms": [
    "MEMOCODE 2010",
    "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": 2010,
   "start": "2010-07-26",
   "end": "2010-07-28",
   "series": [
    "s10mqzz"
   ],
   "place": "http://www.wikidata.org/entity/Q1289",
   "country": "FR",
   "lat": 45.1869,
   "lon": 5.7264,
   "mode": "on site"
  },
  {
   "id": "e11hmqq",
   "iri": "https://id.confref.org/event/e11hmqq",
   "kind": "event",
   "label": "International Conference on Formal Methods and Models for Codesign",
   "acronyms": [
    "MEMOCODE 2007",
    "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": 2007,
   "start": "2007-05-30",
   "end": "2007-06-01",
   "series": [
    "s10mqzz"
   ],
   "place": "http://www.wikidata.org/entity/Q33959",
   "country": "FR",
   "lat": 43.7019,
   "lon": 7.2683,
   "mode": "on site"
  },
  {
   "id": "e11hmkz",
   "iri": "https://id.confref.org/event/e11hmkz",
   "kind": "event",
   "label": "International Conference on Formal Methods and Models for Codesign",
   "acronyms": [
    "MEMOCODE 2003",
    "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": 2003,
   "start": "2003-06-24",
   "end": "2003-06-26",
   "series": [
    "s10mqzz"
   ],
   "place": "http://www.wikidata.org/entity/Q20892",
   "country": "FR",
   "lat": 48.6358,
   "lon": -1.5103,
   "mode": "on site"
  },
  {
   "id": "e113jg4",
   "iri": "https://id.confref.org/event/e113jg4",
   "kind": "event",
   "label": "FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume 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": 1999,
   "start": null,
   "end": null,
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q7880",
   "country": "FR",
   "lat": 43.6044,
   "lon": 1.4433,
   "mode": null
  }
 ]
}