{
 "query": {
  "kind": "event",
  "discipline": [
   "Q1049183"
  ],
  "country": [
   "ES"
  ],
  "page": 1
 },
 "total": 6,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e11s1yc",
   "iri": "https://id.confref.org/event/e11s1yc",
   "kind": "event",
   "label": "Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q5836",
   "country": "ES",
   "lat": 39.8667,
   "lon": -4.0333,
   "mode": null
  },
  {
   "id": "e10f0tb",
   "iri": "https://id.confref.org/event/e10f0tb",
   "kind": "event",
   "label": "11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems",
   "acronyms": [
    "EICS '19",
    "EICS 2019",
    "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": 2019,
   "start": "2019-06-18",
   "end": "2019-06-21",
   "series": [
    "s10c0qq"
   ],
   "place": "http://www.wikidata.org/entity/Q8818",
   "country": "ES",
   "lat": 39.47,
   "lon": -0.3764,
   "mode": "on site"
  },
  {
   "id": "e103c44",
   "iri": "https://id.confref.org/event/e103c44",
   "kind": "event",
   "label": "18th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2013",
    "FMICS"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2013,
   "start": "2013-09-23",
   "end": "2013-09-24",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q2807",
   "country": "ES",
   "lat": 40.4169,
   "lon": -3.7033,
   "mode": "on site"
  },
  {
   "id": "e11s1df",
   "iri": "https://id.confref.org/event/e11s1df",
   "kind": "event",
   "label": "Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, 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": 2013,
   "start": null,
   "end": null,
   "series": [
    "s10aja4"
   ],
   "place": "http://www.wikidata.org/entity/Q2807",
   "country": "ES",
   "lat": 40.4169,
   "lon": -3.7033,
   "mode": null
  },
  {
   "id": "e113m11",
   "iri": "https://id.confref.org/event/e113m11",
   "kind": "event",
   "label": "7th International Workshop on Formal Methods for Industrial Critical Systems",
   "acronyms": [
    "FMICS 2002"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2002,
   "start": "2002-07-12",
   "end": "2002-07-13",
   "series": [
    "s109ps3"
   ],
   "place": "http://www.wikidata.org/entity/Q8851",
   "country": "ES",
   "lat": 36.7167,
   "lon": -4.4167,
   "mode": "on site"
  },
  {
   "id": "e129rjd",
   "iri": "https://id.confref.org/event/e129rjd",
   "kind": "event",
   "label": "International Symposium on Formal Methods",
   "acronyms": [
    "FM 1994"
   ],
   "fields": [
    "1.1",
    "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": 1994,
   "start": "1994-10-18",
   "end": "1994-10-24",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q1492",
   "country": "ES",
   "lat": 41.3825,
   "lon": 2.1769,
   "mode": "on site"
  }
 ]
}