{
 "query": {
  "kind": "event",
  "series": [
   "s10cqm6"
  ],
  "page": 1
 },
 "total": 14,
 "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": "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
  },
  {
   "id": "e11a3xb",
   "iri": "https://id.confref.org/event/e11a3xb",
   "kind": "event",
   "label": "Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2019,
   "start": null,
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q340",
   "country": "CA",
   "lat": 45.5033,
   "lon": -73.5868,
   "mode": null
  },
  {
   "id": "e10fw7p",
   "iri": "https://id.confref.org/event/e10fw7p",
   "kind": "event",
   "label": "Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018",
   "acronyms": [
    "FormaliSE@ICSE 2018"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2018,
   "start": "2018-06-02",
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q25287",
   "country": "SE",
   "lat": 57.7075,
   "lon": 11.9675,
   "mode": null
  },
  {
   "id": "e11a3wd",
   "iri": "https://id.confref.org/event/e11a3wd",
   "kind": "event",
   "label": "5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2017,
   "start": null,
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q1486",
   "country": "AR",
   "lat": -34.5997,
   "lon": -58.3819,
   "mode": null
  },
  {
   "id": "e11a3vf",
   "iri": "https://id.confref.org/event/e11a3vf",
   "kind": "event",
   "label": "Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2016,
   "start": null,
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q16559",
   "country": "US",
   "lat": 30.3,
   "lon": -97.7333,
   "mode": null
  },
  {
   "id": "e11a3th",
   "iri": "https://id.confref.org/event/e11a3th",
   "kind": "event",
   "label": "3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2015,
   "start": null,
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q2044",
   "country": "IT",
   "lat": 43.7714,
   "lon": 11.2542,
   "mode": null
  },
  {
   "id": "e11a3sk",
   "iri": "https://id.confref.org/event/e11a3sk",
   "kind": "event",
   "label": "Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2014,
   "start": null,
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q1361",
   "country": "IN",
   "lat": 17.3617,
   "lon": 78.4747,
   "mode": null
  },
  {
   "id": "e11a3rn",
   "iri": "https://id.confref.org/event/e11a3rn",
   "kind": "event",
   "label": "1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2013,
   "start": null,
   "end": null,
   "series": [
    "s10cqm6"
   ],
   "place": "http://www.wikidata.org/entity/Q62",
   "country": "US",
   "lat": 37.775,
   "lon": -122.4194,
   "mode": null
  }
 ]
}