{
 "generated": "2026-08-13T08:58:19.502064+00:00",
 "source": "https://www.conferences-computer.science/ft4das/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FT4DAS",
 "name": "International Workshop on Formal Techniques for Dependable Autonomous Systems",
 "count": 1,
 "editions": [
  {
   "slug": "ft4das",
   "acronym": "FT4DAS",
   "year": "2019",
   "edition": 1,
   "title": "1st International Workshop on Formal Techniques for Dependable Autonomous Systems",
   "url": "https://ft4das.github.io/",
   "page": "https://www.conferences-computer.science/ft4das/2019/",
   "status": null,
   "abstract_deadline": "2019-05-13",
   "paper_deadline": "2019-05-13",
   "paper_deadline_announced": "2019-05-13",
   "paper_extended_days": 0,
   "notification": "2019-06-01",
   "timezone": null,
   "event_start": "2019-09-10",
   "event_end": null,
   "city": "Turku, Finland",
   "country": "FI",
   "continent": "EU",
   "lat": 60.4518,
   "lon": 22.2666,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "Regular (12 pages LNCS), short papers/experience reports, tools or work in progress (6 pages) / idea papers (4 pages)",
   "dblp": null
  }
 ]
}