BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:FTSCS — deadlines and dates
X-WR-CALDESC:Every recorded edition of FTSCS. https://www.conferences-compu
 ter.science/ftscs/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:ftscs-2014-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20140912
DTEND;VALUE=DATE:20140913
SUMMARY:FTSCS 2014 — paper deadline
DESCRIPTION:3rd International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nHeld in Luxembo
 urg.\nConference dates: 6–7 Nov 2014.\nhttps://www.conferences-computer.
 science/ftscs/2014/
URL:https://www.conferences-computer.science/ftscs/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2014-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20141003
DTEND;VALUE=DATE:20141004
SUMMARY:FTSCS 2014 — notification
DESCRIPTION:3rd International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nHeld in Luxembo
 urg.\nConference dates: 6–7 Nov 2014.\nhttps://www.conferences-computer.
 science/ftscs/2014/
URL:https://www.conferences-computer.science/ftscs/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2015-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150911
DTEND;VALUE=DATE:20150912
SUMMARY:FTSCS 2015 — abstract deadline
DESCRIPTION:4th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nExtended from 0
 5 September 2015.\nHeld in Paris\, France.\nConference dates: 2–3 Nov 20
 15.\nhttps://www.conferences-computer.science/ftscs/2015/
URL:https://www.conferences-computer.science/ftscs/2015/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2015-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150913
DTEND;VALUE=DATE:20150914
SUMMARY:FTSCS 2015 — paper deadline
DESCRIPTION:4th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nExtended from 0
 5 September 2015.\nHeld in Paris\, France.\nConference dates: 2–3 Nov 20
 15.\nhttps://www.conferences-computer.science/ftscs/2015/
URL:https://www.conferences-computer.science/ftscs/2015/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2015-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20151002
DTEND;VALUE=DATE:20151003
SUMMARY:FTSCS 2015 — notification
DESCRIPTION:4th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nHeld in Paris\,
  France.\nConference dates: 2–3 Nov 2015.\nhttps://www.conferences-compu
 ter.science/ftscs/2015/
URL:https://www.conferences-computer.science/ftscs/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2016-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160904
DTEND;VALUE=DATE:20160905
SUMMARY:FTSCS 2016 — paper deadline
DESCRIPTION:5th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nHeld in Tōkyō
 \, Japan.\nConference dates: 14–15 Nov 2016.\nhttps://www.conferences-co
 mputer.science/ftscs/2016/
URL:https://www.conferences-computer.science/ftscs/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2016-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20161007
DTEND;VALUE=DATE:20161008
SUMMARY:FTSCS 2016 — notification
DESCRIPTION:5th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nHeld in Tōkyō
 \, Japan.\nConference dates: 14–15 Nov 2016.\nhttps://www.conferences-co
 mputer.science/ftscs/2016/
URL:https://www.conferences-computer.science/ftscs/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2018-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180911
DTEND;VALUE=DATE:20180912
SUMMARY:FTSCS 2018 — paper deadline
DESCRIPTION:6th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nExtended from 0
 4 September 2018.\nHeld in Gold Coast\, Australia.\nConference dates: 16 N
 ov 2018.\nhttps://www.conferences-computer.science/ftscs/2018/
URL:https://www.conferences-computer.science/ftscs/2018/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2018-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20181005
DTEND;VALUE=DATE:20181006
SUMMARY:FTSCS 2018 — notification
DESCRIPTION:6th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nHeld in Gold Co
 ast\, Australia.\nConference dates: 16 Nov 2018.\nhttps://www.conferences-
 computer.science/ftscs/2018/
URL:https://www.conferences-computer.science/ftscs/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2019-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190903
DTEND;VALUE=DATE:20190904
SUMMARY:FTSCS 2019 — paper deadline
DESCRIPTION:7th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nHeld in Shenzhe
 n\, China.\nConference dates: 11 Nov 2019.\nhttps://www.conferences-comput
 er.science/ftscs/2019/
URL:https://www.conferences-computer.science/ftscs/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2019-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20191004
DTEND;VALUE=DATE:20191005
SUMMARY:FTSCS 2019 — notification
DESCRIPTION:7th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nHeld in Shenzhe
 n\, China.\nConference dates: 11 Nov 2019.\nhttps://www.conferences-comput
 er.science/ftscs/2019/
URL:https://www.conferences-computer.science/ftscs/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2022-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220908
DTEND;VALUE=DATE:20220909
SUMMARY:FTSCS 2022 — paper deadline
DESCRIPTION:8th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nExtended from 0
 1 September 2022.\nHeld in Auckland\, New Zealand.\nConference dates: 7 De
 c 2022.\nhttps://www.conferences-computer.science/ftscs/2022/
URL:https://www.conferences-computer.science/ftscs/2022/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2022-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20221010
DTEND;VALUE=DATE:20221011
SUMMARY:FTSCS 2022 — notification
DESCRIPTION:8th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nNo time zone stated by the organisers\; this site assumes An
 ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no
 t a day\, so check the exact time on the conference site.\nHeld in Aucklan
 d\, New Zealand.\nConference dates: 7 Dec 2022.\nhttps://www.conferences-c
 omputer.science/ftscs/2022/
URL:https://www.conferences-computer.science/ftscs/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2023-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230721
DTEND;VALUE=DATE:20230722
SUMMARY:FTSCS 2023 — paper deadline
DESCRIPTION:9th ACM International Workshop on Formal Techniques for Safety-
 Critical Systems\nNo time zone stated by the organisers\; this site assume
 s Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\
 , not a day\, so check the exact time on the conference site.\nExtended fr
 om 12 July 2023.\nHeld in Cascais\, Portugal.\nConference dates: 22 Oct 20
 23.\nhttps://www.conferences-computer.science/ftscs/2023/
URL:https://www.conferences-computer.science/ftscs/2023/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2023-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230827
DTEND;VALUE=DATE:20230828
SUMMARY:FTSCS 2023 — notification
DESCRIPTION:9th ACM International Workshop on Formal Techniques for Safety-
 Critical Systems\nNo time zone stated by the organisers\; this site assume
 s Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\
 , not a day\, so check the exact time on the conference site.\nHeld in Cas
 cais\, Portugal.\nConference dates: 22 Oct 2023.\nhttps://www.conferences-
 computer.science/ftscs/2023/
URL:https://www.conferences-computer.science/ftscs/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2014-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20141106
DTEND;VALUE=DATE:20141108
SUMMARY:FTSCS 2014 — Luxembourg
DESCRIPTION:3rd International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nHeld in Luxembourg.\nPaper deadline was 12 September 2014.\n
 https://www.conferences-computer.science/ftscs/2014/
URL:https://www.conferences-computer.science/ftscs/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2015-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20151102
DTEND;VALUE=DATE:20151104
SUMMARY:FTSCS 2015 — Paris\, France
DESCRIPTION:4th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nHeld in Paris\, France.\nPaper deadline was 13 September 201
 5.\nhttps://www.conferences-computer.science/ftscs/2015/
URL:https://www.conferences-computer.science/ftscs/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2016-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20161114
DTEND;VALUE=DATE:20161116
SUMMARY:FTSCS 2016 — Tōkyō\, Japan
DESCRIPTION:5th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nHeld in Tōkyō\, Japan.\nPaper deadline was 04 September 20
 16.\nhttps://www.conferences-computer.science/ftscs/2016/
URL:https://www.conferences-computer.science/ftscs/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2018-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20181116
DTEND;VALUE=DATE:20181117
SUMMARY:FTSCS 2018 — Gold Coast\, Australia
DESCRIPTION:6th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nHeld in Gold Coast\, Australia.\nPaper deadline was 11 Septe
 mber 2018.\nhttps://www.conferences-computer.science/ftscs/2018/
URL:https://www.conferences-computer.science/ftscs/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2019-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20191111
DTEND;VALUE=DATE:20191112
SUMMARY:FTSCS 2019 — Shenzhen\, China
DESCRIPTION:7th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nHeld in Shenzhen\, China.\nPaper deadline was 03 September 2
 019.\nhttps://www.conferences-computer.science/ftscs/2019/
URL:https://www.conferences-computer.science/ftscs/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2022-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20221207
DTEND;VALUE=DATE:20221208
SUMMARY:FTSCS 2022 — Auckland\, New Zealand
DESCRIPTION:8th International Workshop on Formal Techniques for Safety-Crit
 ical Systems\nHeld in Auckland\, New Zealand.\nPaper deadline was 08 Septe
 mber 2022.\nhttps://www.conferences-computer.science/ftscs/2022/
URL:https://www.conferences-computer.science/ftscs/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FTSCS
END:VEVENT
BEGIN:VEVENT
UID:ftscs-2023-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20231022
DTEND;VALUE=DATE:20231023
SUMMARY:FTSCS 2023 — Cascais\, Portugal
DESCRIPTION:9th ACM International Workshop on Formal Techniques for Safety-
 Critical Systems\nHeld in Cascais\, Portugal.\nPaper deadline was 21 July 
 2023.\nhttps://www.conferences-computer.science/ftscs/2023/
URL:https://www.conferences-computer.science/ftscs/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FTSCS
END:VEVENT
END:VCALENDAR