{
 "query": {
  "discipline": [
   "Q80993"
  ],
  "series": [
   "s109wfj"
  ],
  "page": 1
 },
 "total": 28,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e118avc",
   "iri": "https://id.confref.org/event/e118avc",
   "kind": "event",
   "label": "Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q4970",
   "country": "CN",
   "lat": 30.25,
   "lon": 120.1675,
   "mode": null
  },
  {
   "id": "s109wfj",
   "iri": "https://id.confref.org/series/s109wfj",
   "kind": "series",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "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"
   ],
   "first": 1997,
   "last": 2025,
   "events": 27
  },
  {
   "id": "e118ate",
   "iri": "https://id.confref.org/event/e118ate",
   "kind": "event",
   "label": "Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q34664",
   "country": "JP",
   "lat": 34.3852,
   "lon": 132.4553,
   "mode": null
  },
  {
   "id": "e118asg",
   "iri": "https://id.confref.org/event/e118asg",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2023"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2023,
   "start": "2023-11-21",
   "end": "2023-11-24",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q34932",
   "country": "AU",
   "lat": -27.4678,
   "lon": 153.0278,
   "mode": "on site"
  },
  {
   "id": "e118arj",
   "iri": "https://id.confref.org/event/e118arj",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2022"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2022,
   "start": "2022-10-24",
   "end": "2022-10-27",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q2807",
   "country": "ES",
   "lat": 40.4169,
   "lon": -3.7033,
   "mode": "on site"
  },
  {
   "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": "e118aqm",
   "iri": "https://id.confref.org/event/e118aqm",
   "kind": "event",
   "label": "Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2020,
   "start": null,
   "end": null,
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q334",
   "country": "SG",
   "lat": 1.3,
   "lon": 103.8,
   "mode": null
  },
  {
   "id": "e10e9v2",
   "iri": "https://id.confref.org/event/e10e9v2",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2019",
    "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": 2019,
   "start": "2019-11-05",
   "end": "2019-11-09",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q15174",
   "country": "CN",
   "lat": 22.5467,
   "lon": 114.0544,
   "mode": "on site"
  },
  {
   "id": "e10e9w0",
   "iri": "https://id.confref.org/event/e10e9w0",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2018",
    "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": 2018,
   "start": "2018-11-12",
   "end": "2018-11-16",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q140075",
   "country": "AU",
   "lat": -28.0167,
   "lon": 153.4,
   "mode": "on site"
  },
  {
   "id": "e104bpy",
   "iri": "https://id.confref.org/event/e104bpy",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2017",
    "ICFEM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2017,
   "start": "2017-11-13",
   "end": "2017-11-17",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q5826",
   "country": "CN",
   "lat": 34.2611,
   "lon": 108.9422,
   "mode": "on site"
  },
  {
   "id": "e104bn0",
   "iri": "https://id.confref.org/event/e104bn0",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2016",
    "ICFEM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2016,
   "start": "2016-11-14",
   "end": "2016-11-18",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q1490",
   "country": "JP",
   "lat": 35.6894,
   "lon": 139.6917,
   "mode": "on site"
  },
  {
   "id": "e104bm2",
   "iri": "https://id.confref.org/event/e104bm2",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2015",
    "ICFEM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2015,
   "start": "2015-11-03",
   "end": "2015-11-05",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q90",
   "country": "FR",
   "lat": 48.8567,
   "lon": 2.3522,
   "mode": "on site"
  },
  {
   "id": "e104bk4",
   "iri": "https://id.confref.org/event/e104bk4",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2014",
    "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": 2014,
   "start": "2014-11-03",
   "end": "2014-11-05",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q1842",
   "country": "LU",
   "lat": 49.6114,
   "lon": 6.13,
   "mode": "on site"
  },
  {
   "id": "e104bj6",
   "iri": "https://id.confref.org/event/e104bj6",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2013",
    "ICFEM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2013,
   "start": "2013-10-29",
   "end": "2013-11-01",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q613602",
   "country": "NZ",
   "lat": -45.0311,
   "lon": 168.6625,
   "mode": "on site"
  },
  {
   "id": "e104bh8",
   "iri": "https://id.confref.org/event/e104bh8",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2012",
    "ICFEM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2012,
   "start": "2012-11-12",
   "end": "2012-11-16",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q34600",
   "country": "JP",
   "lat": 35.0116,
   "lon": 135.7681,
   "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": "e104bfd",
   "iri": "https://id.confref.org/event/e104bfd",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2010",
    "ICFEM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2010,
   "start": "2010-11-17",
   "end": "2010-11-19",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q8686",
   "country": "CN",
   "lat": 31.2325,
   "lon": 121.4692,
   "mode": "on site"
  },
  {
   "id": "e104bef",
   "iri": "https://id.confref.org/event/e104bef",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2009",
    "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": 2009,
   "start": "2009-12-09",
   "end": "2009-12-12",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q8678",
   "country": "BR",
   "lat": -22.9111,
   "lon": -43.2056,
   "mode": "on site"
  },
  {
   "id": "e104bdh",
   "iri": "https://id.confref.org/event/e104bdh",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2008",
    "ICFEM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2008,
   "start": "2008-10-27",
   "end": "2008-10-31",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q188806",
   "country": "JP",
   "lat": 33.8518,
   "lon": 130.8466,
   "mode": "on site"
  },
  {
   "id": "e104bck",
   "iri": "https://id.confref.org/event/e104bck",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2007",
    "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": 2007,
   "start": "2007-11-14",
   "end": "2007-11-15",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q29422",
   "country": "US",
   "lat": 26.3686,
   "lon": -80.1,
   "mode": "on site"
  },
  {
   "id": "e104bbn",
   "iri": "https://id.confref.org/event/e104bbn",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2006",
    "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": 2006,
   "start": "2006-11-01",
   "end": "2006-11-03",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q14773",
   "country": "MO",
   "lat": 22.19,
   "lon": 113.5381,
   "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": "e104b9s",
   "iri": "https://id.confref.org/event/e104b9s",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2004",
    "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": 2004,
   "start": "2004-11-08",
   "end": "2004-11-12",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q5083",
   "country": "US",
   "lat": 47.605,
   "lon": -122.33,
   "mode": "on site"
  },
  {
   "id": "e104b8v",
   "iri": "https://id.confref.org/event/e104b8v",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2003",
    "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": 2003,
   "start": "2003-11-05",
   "end": "2003-11-07",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q334",
   "country": "SG",
   "lat": 1.3,
   "lon": 103.8,
   "mode": "on site"
  },
  {
   "id": "e104b7x",
   "iri": "https://id.confref.org/event/e104b7x",
   "kind": "event",
   "label": "International Conference on Formal Engineering Methods",
   "acronyms": [
    "ICFEM 2002",
    "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": 2002,
   "start": "2002-10-21",
   "end": "2002-10-25",
   "series": [
    "s109wfj"
   ],
   "place": "http://www.wikidata.org/entity/Q8686",
   "country": "CN",
   "lat": 31.2325,
   "lon": 121.4692,
   "mode": "on site"
  }
 ]
}