{
 "query": {
  "series": [
   "s10cqm6"
  ],
  "from": 2020,
  "to": 2029,
  "page": 1
 },
 "total": 8,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e11a0xe",
   "iri": "https://id.confref.org/event/e11a0xe",
   "kind": "event",
   "label": "Proceedings of the IEEE/ACM 14th International Conference on Formal Methods in Software Engineering, FormaliSE 2026, Rio de Janeiro, Brazil, April 12-13, 2026",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2026,
   "start": null,
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q8678",
   "country": "BR",
   "lat": -22.9111,
   "lon": -43.2056,
   "mode": null
  },
  {
   "id": "s10cqm6",
   "iri": "https://id.confref.org/series/s10cqm6",
   "kind": "series",
   "label": "Formal Methods in Software Engineering (FormaliSE)",
   "acronyms": [
    "FormaliSE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "first": 2013,
   "last": 2026,
   "events": 14
  },
  {
   "id": "e11a0wg",
   "iri": "https://id.confref.org/event/e11a0wg",
   "kind": "event",
   "label": "13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q1930",
   "country": "CA",
   "lat": 45.4247,
   "lon": -75.695,
   "mode": null
  },
  {
   "id": "e11a0vj",
   "iri": "https://id.confref.org/event/e11a0vj",
   "kind": "event",
   "label": "Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q597",
   "country": "PT",
   "lat": 38.708,
   "lon": -9.139,
   "mode": null
  },
  {
   "id": "e11a0tm",
   "iri": "https://id.confref.org/event/e11a0tm",
   "kind": "event",
   "label": "11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q3141",
   "country": "AU",
   "lat": -37.8142,
   "lon": 144.9631,
   "mode": null
  },
  {
   "id": "e11a0sp",
   "iri": "https://id.confref.org/event/e11a0sp",
   "kind": "event",
   "label": "10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2022,
   "start": null,
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q1342",
   "country": "US",
   "lat": 40.4417,
   "lon": -80.0,
   "mode": null
  },
  {
   "id": "e11a3y9",
   "iri": "https://id.confref.org/event/e11a3y9",
   "kind": "event",
   "label": "9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q2807",
   "country": "ES",
   "lat": 40.4169,
   "lon": -3.7033,
   "mode": null
  },
  {
   "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
  }
 ]
}