{
 "query": {
  "field": [
   "1"
  ],
  "series": [
   "s109qna"
  ],
  "page": 1
 },
 "total": 10,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e1141zn",
   "iri": "https://id.confref.org/event/e1141zn",
   "kind": "event",
   "label": "Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s109qna"
   ],
   "place": "http://www.wikidata.org/entity/Q273059",
   "country": "PT",
   "lat": 38.6969,
   "lon": -9.4206,
   "mode": null
  },
  {
   "id": "s109qna",
   "iri": "https://id.confref.org/series/s109qna",
   "kind": "series",
   "label": "International Workshop on Formal Techniques for Safety-Critical Systems",
   "acronyms": [
    "FTSCS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 2012,
   "last": 2023,
   "events": 9
  },
  {
   "id": "e1141yq",
   "iri": "https://id.confref.org/event/e1141yq",
   "kind": "event",
   "label": "Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2022,
   "start": null,
   "end": null,
   "series": [
    "s109qna"
   ],
   "place": "http://www.wikidata.org/entity/Q37100",
   "country": "NZ",
   "lat": -36.8492,
   "lon": 174.7653,
   "mode": null
  },
  {
   "id": "e1141xs",
   "iri": "https://id.confref.org/event/e1141xs",
   "kind": "event",
   "label": "Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2019,
   "start": null,
   "end": null,
   "series": [
    "s109qna"
   ],
   "place": "http://www.wikidata.org/entity/Q15174",
   "country": "CN",
   "lat": 22.5467,
   "lon": 114.0544,
   "mode": null
  },
  {
   "id": "e1141wv",
   "iri": "https://id.confref.org/event/e1141wv",
   "kind": "event",
   "label": "Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers",
   "acronyms": [
    "FTSCS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-11-16",
   "end": "2018-11-16",
   "series": [
    "s109qna"
   ],
   "place": "http://www.wikidata.org/entity/Q140075",
   "country": "AU",
   "lat": -28.0167,
   "lon": 153.4,
   "mode": null
  },
  {
   "id": "e103jkz",
   "iri": "https://id.confref.org/event/e103jkz",
   "kind": "event",
   "label": "International Workshop on Formal Techniques for Safety-Critical Systems",
   "acronyms": [
    "FTSCS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2016,
   "start": "2016-11-14",
   "end": "2016-11-14",
   "series": [
    "s109qna"
   ],
   "place": "http://www.wikidata.org/entity/Q1490",
   "country": "JP",
   "lat": 35.6894,
   "lon": 139.6917,
   "mode": null
  },
  {
   "id": "e103jj1",
   "iri": "https://id.confref.org/event/e103jj1",
   "kind": "event",
   "label": "International Workshop on Formal Techniques for Safety-Critical Systems",
   "acronyms": [
    "FTSCS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2015,
   "start": "2015-11-06",
   "end": "2015-11-07",
   "series": [
    "s109qna"
   ],
   "place": "http://www.wikidata.org/entity/Q90",
   "country": "FR",
   "lat": 48.8567,
   "lon": 2.3522,
   "mode": null
  },
  {
   "id": "e103jh3",
   "iri": "https://id.confref.org/event/e103jh3",
   "kind": "event",
   "label": "International Workshop on Formal Techniques for Safety-Critical Systems",
   "acronyms": [
    "FTSCS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-11-06",
   "end": "2014-11-07",
   "series": [
    "s109qna"
   ],
   "place": "http://www.wikidata.org/entity/Q1842",
   "country": "LU",
   "lat": 49.6114,
   "lon": 6.13,
   "mode": null
  },
  {
   "id": "e103jg5",
   "iri": "https://id.confref.org/event/e103jg5",
   "kind": "event",
   "label": "International Workshop on Formal Techniques for Safety-Critical Systems",
   "acronyms": [
    "FTSCS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2013,
   "start": "2013-10-29",
   "end": "2013-10-30",
   "series": [
    "s109qna"
   ],
   "place": "http://www.wikidata.org/entity/Q613602",
   "country": "NZ",
   "lat": -45.0311,
   "lon": 168.6625,
   "mode": null
  },
  {
   "id": "e120s03",
   "iri": "https://id.confref.org/event/e120s03",
   "kind": "event",
   "label": "Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012.",
   "acronyms": [
    "FTSCS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2012,
   "start": "2012-11-12",
   "end": "2012-11-12",
   "series": [
    "s109qna"
   ],
   "place": "http://www.wikidata.org/entity/Q34600",
   "country": "JP",
   "lat": 35.0116,
   "lon": 135.7681,
   "mode": null
  }
 ]
}