BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:FT4DAS — deadlines and dates
X-WR-CALDESC:Every recorded edition of FT4DAS. https://www.conferences-comp
 uter.science/ft4das/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:ft4das-2019-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20190513
DTEND;VALUE=DATE:20190514
SUMMARY:FT4DAS 2019 — abstract deadline
DESCRIPTION:1st International Workshop on Formal Techniques for Dependable 
 Autonomous Systems\nNo time zone stated by the organisers\; this site assu
 mes Anywhere on Earth.\nShown as an all-day event: the deadline is a momen
 t\, not a day\, so check the exact time on the conference site.\nHeld in T
 urku\, Finland.\nConference dates: 10 Sep 2019.\nhttps://www.conferences-c
 omputer.science/ft4das/2019/
URL:https://www.conferences-computer.science/ft4das/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FT4DAS
END:VEVENT
BEGIN:VEVENT
UID:ft4das-2019-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20190513
DTEND;VALUE=DATE:20190514
SUMMARY:FT4DAS 2019 — paper deadline
DESCRIPTION:1st International Workshop on Formal Techniques for Dependable 
 Autonomous Systems\nNo time zone stated by the organisers\; this site assu
 mes Anywhere on Earth.\nShown as an all-day event: the deadline is a momen
 t\, not a day\, so check the exact time on the conference site.\nHeld in T
 urku\, Finland.\nConference dates: 10 Sep 2019.\nhttps://www.conferences-c
 omputer.science/ft4das/2019/
URL:https://www.conferences-computer.science/ft4das/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FT4DAS
END:VEVENT
BEGIN:VEVENT
UID:ft4das-2019-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20190601
DTEND;VALUE=DATE:20190602
SUMMARY:FT4DAS 2019 — notification
DESCRIPTION:1st International Workshop on Formal Techniques for Dependable 
 Autonomous Systems\nNo time zone stated by the organisers\; this site assu
 mes Anywhere on Earth.\nShown as an all-day event: the deadline is a momen
 t\, not a day\, so check the exact time on the conference site.\nHeld in T
 urku\, Finland.\nConference dates: 10 Sep 2019.\nhttps://www.conferences-c
 omputer.science/ft4das/2019/
URL:https://www.conferences-computer.science/ft4das/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FT4DAS
END:VEVENT
BEGIN:VEVENT
UID:ft4das-2019-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20190910
DTEND;VALUE=DATE:20190911
SUMMARY:FT4DAS 2019 — Turku\, Finland
DESCRIPTION:1st International Workshop on Formal Techniques for Dependable 
 Autonomous Systems\nHeld in Turku\, Finland.\nPaper deadline was 13 May 20
 19.\nhttps://www.conferences-computer.science/ft4das/2019/
URL:https://www.conferences-computer.science/ft4das/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FT4DAS
END:VEVENT
END:VCALENDAR