{
 "generated": "2026-08-13T11:47:39.323885+00:00",
 "source": "https://www.conferences-computer.science/ftscs/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FTSCS",
 "name": "ACM International Workshop on Formal Techniques for Safety-Critical Systems",
 "count": 8,
 "editions": [
  {
   "slug": "ftscs",
   "acronym": "FTSCS",
   "year": "2013",
   "edition": null,
   "title": "ACM International Workshop on Formal Techniques for Safety-Critical Systems",
   "url": null,
   "page": "https://www.conferences-computer.science/ftscs/2013/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": null,
   "paper_deadline_announced": null,
   "paper_extended_days": null,
   "notification": null,
   "timezone": null,
   "event_start": null,
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": false,
   "publisher": null,
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": 33,
   "accepted": 18,
   "acceptance_rate": 54.5,
   "format": null,
   "dblp": "ftscs"
  },
  {
   "slug": "ftscs",
   "acronym": "FTSCS",
   "year": "2014",
   "edition": 3,
   "title": "3rd International Workshop on Formal Techniques for Safety-Critical Systems",
   "url": "http://www.ftscs.org",
   "page": "https://www.conferences-computer.science/ftscs/2014/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2014-09-12",
   "paper_deadline_announced": "2014-09-12",
   "paper_extended_days": 0,
   "notification": "2014-10-03",
   "timezone": null,
   "event_start": "2014-11-06",
   "event_end": "2014-11-07",
   "city": "Luxembourg",
   "country": "LU",
   "continent": "EU",
   "lat": 49.6116,
   "lon": 6.1319,
   "online": false,
   "publisher": "Springer CCIS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 40,
   "accepted": 14,
   "acceptance_rate": 35.0,
   "format": "16 pages LNCS (research / applications / surveys), 5 pages LNCS (position / tools / work in progress)",
   "dblp": "ftscs"
  },
  {
   "slug": "ftscs",
   "acronym": "FTSCS",
   "year": "2015",
   "edition": 4,
   "title": "4th International Workshop on Formal Techniques for Safety-Critical Systems",
   "url": "http://www.ftscs.org",
   "page": "https://www.conferences-computer.science/ftscs/2015/",
   "status": null,
   "abstract_deadline": "2015-09-11",
   "paper_deadline": "2015-09-13",
   "paper_deadline_announced": "2015-09-05",
   "paper_extended_days": 8,
   "notification": "2015-10-02",
   "timezone": null,
   "event_start": "2015-11-02",
   "event_end": "2015-11-03",
   "city": "Paris, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.8566,
   "lon": 2.3522,
   "online": false,
   "publisher": "Springer CCIS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 46,
   "accepted": 17,
   "acceptance_rate": 37.0,
   "format": "15 pages LNCS (research / applications / surveys), 5 pages LNCS (position / tools / work in progress)",
   "dblp": "ftscs"
  },
  {
   "slug": "ftscs",
   "acronym": "FTSCS",
   "year": "2016",
   "edition": 5,
   "title": "5th International Workshop on Formal Techniques for Safety-Critical Systems",
   "url": "http://www.ftscs.org",
   "page": "https://www.conferences-computer.science/ftscs/2016/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2016-09-04",
   "paper_deadline_announced": "2016-09-04",
   "paper_extended_days": 0,
   "notification": "2016-10-07",
   "timezone": null,
   "event_start": "2016-11-14",
   "event_end": "2016-11-15",
   "city": "Tōkyō, Japan",
   "country": "JP",
   "continent": "AS",
   "lat": 35.6762,
   "lon": 139.6503,
   "online": false,
   "publisher": "Springer CCIS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 23,
   "accepted": 9,
   "acceptance_rate": 39.1,
   "format": "15 pages LNCS (research / applications / surveys), 5 pages LNCS (position / tools / work in progress)",
   "dblp": "ftscs"
  },
  {
   "slug": "ftscs",
   "acronym": "FTSCS",
   "year": "2018",
   "edition": 6,
   "title": "6th International Workshop on Formal Techniques for Safety-Critical Systems",
   "url": "http://www.ftscs.org",
   "page": "https://www.conferences-computer.science/ftscs/2018/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2018-09-11",
   "paper_deadline_announced": "2018-09-04",
   "paper_extended_days": 7,
   "notification": "2018-10-05",
   "timezone": null,
   "event_start": "2018-11-16",
   "event_end": null,
   "city": "Gold Coast, Australia",
   "country": "AU",
   "continent": "OC",
   "lat": -28.0167,
   "lon": 153.4,
   "online": false,
   "publisher": "Springer CCIS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 22,
   "accepted": 10,
   "acceptance_rate": 45.5,
   "format": "16 pages LNCS (research / applications / surveys), 5 pages LNCS (position / tools / work in progress)",
   "dblp": "ftscs"
  },
  {
   "slug": "ftscs",
   "acronym": "FTSCS",
   "year": "2019",
   "edition": 7,
   "title": "7th International Workshop on Formal Techniques for Safety-Critical Systems",
   "url": "http://www.ftscs.org",
   "page": "https://www.conferences-computer.science/ftscs/2019/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2019-09-03",
   "paper_deadline_announced": "2019-09-03",
   "paper_extended_days": 0,
   "notification": "2019-10-04",
   "timezone": null,
   "event_start": "2019-11-11",
   "event_end": null,
   "city": "Shenzhen, China",
   "country": "CN",
   "continent": "AS",
   "lat": 22.5431,
   "lon": 114.0579,
   "online": false,
   "publisher": "Springer CCIS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS (research / applications / surveys), 5 pages LNCS (position / tools / work in progress)",
   "dblp": "ftscs"
  },
  {
   "slug": "ftscs",
   "acronym": "FTSCS",
   "year": "2022",
   "edition": 8,
   "title": "8th International Workshop on Formal Techniques for Safety-Critical Systems",
   "url": "https://2022.splashcon.org/home/ftscs-2022",
   "page": "https://www.conferences-computer.science/ftscs/2022/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2022-09-08",
   "paper_deadline_announced": "2022-09-01",
   "paper_extended_days": 7,
   "notification": "2022-10-10",
   "timezone": null,
   "event_start": "2022-12-07",
   "event_end": null,
   "city": "Auckland, New Zealand",
   "country": "NZ",
   "continent": "OC",
   "lat": -36.8485,
   "lon": 174.7633,
   "online": false,
   "publisher": "ACM Digital Library",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM (research / applications / surveys), 5 pages ACM (position / tools / work in progress)",
   "dblp": "ftscs"
  },
  {
   "slug": "ftscs",
   "acronym": "FTSCS",
   "year": "2023",
   "edition": 9,
   "title": "9th ACM International Workshop on Formal Techniques for Safety-Critical Systems",
   "url": "https://2023.splashcon.org/home/ftscs-2023",
   "page": "https://www.conferences-computer.science/ftscs/2023/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2023-07-21",
   "paper_deadline_announced": "2023-07-12",
   "paper_extended_days": 9,
   "notification": "2023-08-27",
   "timezone": null,
   "event_start": "2023-10-22",
   "event_end": null,
   "city": "Cascais, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 38.6979,
   "lon": -9.4215,
   "online": false,
   "publisher": "ACM Digital Library",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM (research / applications / surveys), 5 pages ACM (position / tools / work in progress)",
   "dblp": "ftscs"
  }
 ]
}