{
 "query": {
  "discipline": [
   "Q1049183"
  ],
  "country": [
   "IT"
  ],
  "page": 1
 },
 "total": 20,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "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": "e103c8w",
   "iri": "https://id.confref.org/event/e103c8w",
   "kind": "event",
   "label": "22nd International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2017",
    "FMICS"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2017,
   "start": "2017-09-18",
   "end": "2017-09-20",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q495",
   "country": "IT",
   "lat": 45.0792,
   "lon": 7.6761,
   "mode": "on site"
  },
  {
   "id": "e11s1g8",
   "iri": "https://id.confref.org/event/e11s1g8",
   "kind": "event",
   "label": "Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, 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": 2017,
   "start": null,
   "end": null,
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q3376",
   "country": "IT",
   "lat": 46.0667,
   "lon": 11.1167,
   "mode": null
  },
  {
   "id": "e103c7y",
   "iri": "https://id.confref.org/event/e103c7y",
   "kind": "event",
   "label": "21st International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2016",
    "FMICS"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2016,
   "start": "2016-09-26",
   "end": "2016-09-29",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q13375",
   "country": "IT",
   "lat": 43.7167,
   "lon": 10.4,
   "mode": "on site"
  },
  {
   "id": "e103c52",
   "iri": "https://id.confref.org/event/e103c52",
   "kind": "event",
   "label": "19th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2014",
    "FMICS"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-09-11",
   "end": "2014-09-12",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q2044",
   "country": "IT",
   "lat": 43.7714,
   "lon": 11.2542,
   "mode": "on site"
  },
  {
   "id": "e10f0x5",
   "iri": "https://id.confref.org/event/e10f0x5",
   "kind": "event",
   "label": "6th ACM SIGCHI Symposium on Engineering Interactive Computing System",
   "acronyms": [
    "EICS '14",
    "EICS 2014",
    "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": 2014,
   "start": "2014-06-17",
   "end": "2014-06-20",
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q220",
   "country": "IT",
   "lat": 41.8931,
   "lon": 12.4828,
   "mode": "on site"
  },
  {
   "id": "e104xhp",
   "iri": "https://id.confref.org/event/e104xhp",
   "kind": "event",
   "label": "International Conference on Integrated Formal Methods",
   "acronyms": [
    "IFM 2012",
    "IFM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2012,
   "start": "2012-06-18",
   "end": "2012-06-21",
   "series": [
    "s10a0h7"
   ],
   "place": "http://www.wikidata.org/entity/Q13375",
   "country": "IT",
   "lat": 43.7167,
   "lon": 10.4,
   "mode": "on site"
  },
  {
   "id": "e103btr",
   "iri": "https://id.confref.org/event/e103btr",
   "kind": "event",
   "label": "International Symposium on Formal Methods for Components and Objects",
   "acronyms": [
    "FMCO 2011",
    "FMCO"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2011,
   "start": "2011-10-03",
   "end": "2011-10-05",
   "series": [
    "s109pq7"
   ],
   "place": "http://www.wikidata.org/entity/Q495",
   "country": "IT",
   "lat": 45.0792,
   "lon": 7.6761,
   "mode": null
  },
  {
   "id": "e103c28",
   "iri": "https://id.confref.org/event/e103c28",
   "kind": "event",
   "label": "16th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2011",
    "FMICS"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2011,
   "start": "2011-08-29",
   "end": "2011-08-30",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q3376",
   "country": "IT",
   "lat": 46.0667,
   "lon": 11.1167,
   "mode": "on site"
  },
  {
   "id": "e10f0z1",
   "iri": "https://id.confref.org/event/e10f0z1",
   "kind": "event",
   "label": "3rd ACM SIGCHI Symposium on Engineering Interactive Computing System",
   "acronyms": [
    "EICS '11",
    "EICS 2011",
    "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": 2011,
   "start": "2011-06-13",
   "end": "2011-06-16",
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q13375",
   "country": "IT",
   "lat": 43.7167,
   "lon": 10.4,
   "mode": "on site"
  },
  {
   "id": "e1117mb",
   "iri": "https://id.confref.org/event/e1117mb",
   "kind": "event",
   "label": "Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q207434"
   ],
   "year": 2011,
   "start": null,
   "end": null,
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q13375",
   "country": "IT",
   "lat": 43.7167,
   "lon": 10.4,
   "mode": null
  },
  {
   "id": "e103bze",
   "iri": "https://id.confref.org/event/e103bze",
   "kind": "event",
   "label": "13th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2008",
    "FMICS"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2008,
   "start": "2008-09-15",
   "end": "2008-09-16",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q3476",
   "country": "IT",
   "lat": 42.354,
   "lon": 13.392,
   "mode": "on site"
  },
  {
   "id": "e103ch9",
   "iri": "https://id.confref.org/event/e103ch9",
   "kind": "event",
   "label": "International Conference on Formal Methods for Open Object-Based Distributed Systems",
   "acronyms": [
    "FMOODS 2006",
    "FMOODS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2006,
   "start": "2006-06-14",
   "end": "2006-06-16",
   "series": [
    "s109pwx"
   ],
   "place": "http://www.wikidata.org/entity/Q1891",
   "country": "IT",
   "lat": 44.4939,
   "lon": 11.3428,
   "mode": null
  },
  {
   "id": "e11hmnv",
   "iri": "https://id.confref.org/event/e11hmnv",
   "kind": "event",
   "label": "International Conference on Formal Methods and Models for Codesign",
   "acronyms": [
    "MEMOCODE 2005",
    "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": 2005,
   "start": "2005-07-11",
   "end": "2005-07-14",
   "series": [
    "s10mqzz"
   ],
   "place": "http://www.wikidata.org/entity/Q2028",
   "country": "IT",
   "lat": 45.4386,
   "lon": 10.9928,
   "mode": "on site"
  },
  {
   "id": "e103b37",
   "iri": "https://id.confref.org/event/e103b37",
   "kind": "event",
   "label": "International Symposium on Formal Methods",
   "acronyms": [
    "FM 2003",
    "FME"
   ],
   "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": 2003,
   "start": "2003-09-08",
   "end": "2003-09-14",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q13375",
   "country": "IT",
   "lat": 43.7167,
   "lon": 10.4,
   "mode": "on site"
  },
  {
   "id": "e129s1f",
   "iri": "https://id.confref.org/event/e129s1f",
   "kind": "event",
   "label": "4th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 1999"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 1999,
   "start": "1999-07-11",
   "end": "1999-07-12",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q3376",
   "country": "IT",
   "lat": 46.0667,
   "lon": 11.1167,
   "mode": "on site"
  },
  {
   "id": "e129rzk",
   "iri": "https://id.confref.org/event/e129rzk",
   "kind": "event",
   "label": "2nd International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 1997"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 1997,
   "start": "1997-07-04",
   "end": "1997-07-05",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q6662",
   "country": "IT",
   "lat": 44.1333,
   "lon": 12.2333,
   "mode": "on site"
  }
 ]
}