BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:FORMATS — deadlines and dates
X-WR-CALDESC:Every recorded edition of FORMATS. https://www.conferences-com
 puter.science/formats/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:formats-2014-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20140421
DTEND;VALUE=DATE:20140422
SUMMARY:FORMATS 2014 — abstract deadline
DESCRIPTION:12th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 Flor
 ence\, Italy.\nConference dates: 8–10 Sep 2014.\nhttps://www.conferences
 -computer.science/formats/2014/
URL:https://www.conferences-computer.science/formats/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2014-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20140428
DTEND;VALUE=DATE:20140429
SUMMARY:FORMATS 2014 — paper deadline
DESCRIPTION:12th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 Flor
 ence\, Italy.\nConference dates: 8–10 Sep 2014.\nhttps://www.conferences
 -computer.science/formats/2014/
URL:https://www.conferences-computer.science/formats/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2014-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20140609
DTEND;VALUE=DATE:20140610
SUMMARY:FORMATS 2014 — notification
DESCRIPTION:12th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 Flor
 ence\, Italy.\nConference dates: 8–10 Sep 2014.\nhttps://www.conferences
 -computer.science/formats/2014/
URL:https://www.conferences-computer.science/formats/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2015-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150427
DTEND;VALUE=DATE:20150428
SUMMARY:FORMATS 2015 — abstract deadline
DESCRIPTION:13th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 Madr
 id\, Spain.\nConference dates: 2–4 Sep 2015.\nhttps://www.conferences-co
 mputer.science/formats/2015/
URL:https://www.conferences-computer.science/formats/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2015-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150504
DTEND;VALUE=DATE:20150505
SUMMARY:FORMATS 2015 — paper deadline
DESCRIPTION:13th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 Madr
 id\, Spain.\nConference dates: 2–4 Sep 2015.\nhttps://www.conferences-co
 mputer.science/formats/2015/
URL:https://www.conferences-computer.science/formats/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2015-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150611
DTEND;VALUE=DATE:20150612
SUMMARY:FORMATS 2015 — notification
DESCRIPTION:13th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 Madr
 id\, Spain.\nConference dates: 2–4 Sep 2015.\nhttps://www.conferences-co
 mputer.science/formats/2015/
URL:https://www.conferences-computer.science/formats/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2016-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160426
DTEND;VALUE=DATE:20160427
SUMMARY:FORMATS 2016 — abstract deadline
DESCRIPTION:14th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 15 April 2016.\nHeld in Québec City\, Canada.\nConference dates: 24–2
 6 Aug 2016.\nhttps://www.conferences-computer.science/formats/2016/
URL:https://www.conferences-computer.science/formats/2016/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2016-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160429
DTEND;VALUE=DATE:20160430
SUMMARY:FORMATS 2016 — paper deadline
DESCRIPTION:14th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 22 April 2016.\nHeld in Québec City\, Canada.\nConference dates: 24–2
 6 Aug 2016.\nhttps://www.conferences-computer.science/formats/2016/
URL:https://www.conferences-computer.science/formats/2016/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2016-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160613
DTEND;VALUE=DATE:20160614
SUMMARY:FORMATS 2016 — notification
DESCRIPTION:14th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 04 June 2016.\nHeld in Québec City\, Canada.\nConference dates: 24–26
  Aug 2016.\nhttps://www.conferences-computer.science/formats/2016/
URL:https://www.conferences-computer.science/formats/2016/
SEQUENCE:2
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2017-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170503
DTEND;VALUE=DATE:20170504
SUMMARY:FORMATS 2017 — abstract deadline
DESCRIPTION:15th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 21 April 2017.\nHeld in Berlin\, Germany.\nConference dates: 5–7 Sep 2
 017.\nhttps://www.conferences-computer.science/formats/2017/
URL:https://www.conferences-computer.science/formats/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2017-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170505
DTEND;VALUE=DATE:20170506
SUMMARY:FORMATS 2017 — paper deadline
DESCRIPTION:15th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 28 April 2017.\nHeld in Berlin\, Germany.\nConference dates: 5–7 Sep 2
 017.\nhttps://www.conferences-computer.science/formats/2017/
URL:https://www.conferences-computer.science/formats/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2017-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170610
DTEND;VALUE=DATE:20170611
SUMMARY:FORMATS 2017 — notification
DESCRIPTION:15th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 Berl
 in\, Germany.\nConference dates: 5–7 Sep 2017.\nhttps://www.conferences-
 computer.science/formats/2017/
URL:https://www.conferences-computer.science/formats/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2018-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180418
DTEND;VALUE=DATE:20180419
SUMMARY:FORMATS 2018 — abstract deadline
DESCRIPTION:16th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 23 March 2018.\nHeld in Beijing\, China.\nConference dates: 4–6 Sep 20
 18.\nhttps://www.conferences-computer.science/formats/2018/
URL:https://www.conferences-computer.science/formats/2018/
SEQUENCE:2
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2018-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180418
DTEND;VALUE=DATE:20180419
SUMMARY:FORMATS 2018 — paper deadline
DESCRIPTION:16th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 30 March 2018.\nHeld in Beijing\, China.\nConference dates: 4–6 Sep 20
 18.\nhttps://www.conferences-computer.science/formats/2018/
URL:https://www.conferences-computer.science/formats/2018/
SEQUENCE:2
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2018-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180525
DTEND;VALUE=DATE:20180526
SUMMARY:FORMATS 2018 — notification
DESCRIPTION:16th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 18 May 2018.\nHeld in Beijing\, China.\nConference dates: 4–6 Sep 2018
 .\nhttps://www.conferences-computer.science/formats/2018/
URL:https://www.conferences-computer.science/formats/2018/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2019-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20190520
DTEND;VALUE=DATE:20190521
SUMMARY:FORMATS 2019 — abstract deadline
DESCRIPTION:17th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 09 May 2019.\nHeld in Amsterdam\, The Netherlands.\nConference dates: 27
 –29 Aug 2019.\nhttps://www.conferences-computer.science/formats/2019/
URL:https://www.conferences-computer.science/formats/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2019-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20190520
DTEND;VALUE=DATE:20190521
SUMMARY:FORMATS 2019 — paper deadline
DESCRIPTION:17th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 13 May 2019.\nHeld in Amsterdam\, The Netherlands.\nConference dates: 27
 –29 Aug 2019.\nhttps://www.conferences-computer.science/formats/2019/
URL:https://www.conferences-computer.science/formats/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2019-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20190623
DTEND;VALUE=DATE:20190624
SUMMARY:FORMATS 2019 — notification
DESCRIPTION:17th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 21 June 2019.\nHeld in Amsterdam\, The Netherlands.\nConference dates: 2
 7–29 Aug 2019.\nhttps://www.conferences-computer.science/formats/2019/
URL:https://www.conferences-computer.science/formats/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2020-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200428
DTEND;VALUE=DATE:20200429
SUMMARY:FORMATS 2020 — abstract deadline
DESCRIPTION:18th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 06 April 2020.\nHeld in Virtual (Vienna\, Austria).\nConference dates: 1
 –3 Sep 2020.\nhttps://www.conferences-computer.science/formats/2020/
URL:https://www.conferences-computer.science/formats/2020/
SEQUENCE:2
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2020-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200507
DTEND;VALUE=DATE:20200508
SUMMARY:FORMATS 2020 — paper deadline
DESCRIPTION:18th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 13 April 2020.\nHeld in Virtual (Vienna\, Austria).\nConference dates: 1
 –3 Sep 2020.\nhttps://www.conferences-computer.science/formats/2020/
URL:https://www.conferences-computer.science/formats/2020/
SEQUENCE:2
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2020-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200629
DTEND;VALUE=DATE:20200630
SUMMARY:FORMATS 2020 — notification
DESCRIPTION:18th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 Virt
 ual (Vienna\, Austria).\nConference dates: 1–3 Sep 2020.\nhttps://www.co
 nferences-computer.science/formats/2020/
URL:https://www.conferences-computer.science/formats/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2021-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210510
DTEND;VALUE=DATE:20210511
SUMMARY:FORMATS 2021 — abstract deadline
DESCRIPTION:19th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 06 April 2021.\nHeld in Online.\nConference dates: 23–27 Aug 2021.\nht
 tps://www.conferences-computer.science/formats/2021/
URL:https://www.conferences-computer.science/formats/2021/
SEQUENCE:2
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2021-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210510
DTEND;VALUE=DATE:20210511
SUMMARY:FORMATS 2021 — paper deadline
DESCRIPTION:19th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 13 April 2021.\nHeld in Online.\nConference dates: 23–27 Aug 2021.\nht
 tps://www.conferences-computer.science/formats/2021/
URL:https://www.conferences-computer.science/formats/2021/
SEQUENCE:2
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2021-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210621
DTEND;VALUE=DATE:20210622
SUMMARY:FORMATS 2021 — notification
DESCRIPTION:19th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 Onli
 ne.\nConference dates: 23–27 Aug 2021.\nhttps://www.conferences-computer
 .science/formats/2021/
URL:https://www.conferences-computer.science/formats/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2022-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220504
DTEND;VALUE=DATE:20220505
SUMMARY:FORMATS 2022 — abstract deadline
DESCRIPTION:20th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 19 April 2022.\nHeld in Warsaw\, Poland.\nConference dates: 12–17 Sep 
 2022.\nhttps://www.conferences-computer.science/formats/2022/
URL:https://www.conferences-computer.science/formats/2022/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2022-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220506
DTEND;VALUE=DATE:20220507
SUMMARY:FORMATS 2022 — paper deadline
DESCRIPTION:20th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 22 April 2022.\nHeld in Warsaw\, Poland.\nConference dates: 12–17 Sep 
 2022.\nhttps://www.conferences-computer.science/formats/2022/
URL:https://www.conferences-computer.science/formats/2022/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2022-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220617
DTEND;VALUE=DATE:20220618
SUMMARY:FORMATS 2022 — notification
DESCRIPTION:20th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 Wars
 aw\, Poland.\nConference dates: 12–17 Sep 2022.\nhttps://www.conferences
 -computer.science/formats/2022/
URL:https://www.conferences-computer.science/formats/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2023-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230504
DTEND;VALUE=DATE:20230505
SUMMARY:FORMATS 2023 — abstract deadline
DESCRIPTION:21st International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 21 April 2023.\nHeld in Antwerp\, Belgium.\nConference dates: 19–21 Se
 p 2023.\nhttps://www.conferences-computer.science/formats/2023/
URL:https://www.conferences-computer.science/formats/2023/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2023-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230508
DTEND;VALUE=DATE:20230509
SUMMARY:FORMATS 2023 — paper deadline
DESCRIPTION:21st International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 fro
 m 28 April 2023.\nHeld in Antwerp\, Belgium.\nConference dates: 19–21 Se
 p 2023.\nhttps://www.conferences-computer.science/formats/2023/
URL:https://www.conferences-computer.science/formats/2023/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2023-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230616
DTEND;VALUE=DATE:20230617
SUMMARY:FORMATS 2023 — notification
DESCRIPTION:21st International Conference on Formal Modeling and Analysis o
 f Timed Systems\nNo time zone stated by the organisers\; this site assumes
  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 Antw
 erp\, Belgium.\nConference dates: 19–21 Sep 2023.\nhttps://www.conferenc
 es-computer.science/formats/2023/
URL:https://www.conferences-computer.science/formats/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2014-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20140908
DTEND;VALUE=DATE:20140911
SUMMARY:FORMATS 2014 — Florence\, Italy
DESCRIPTION:12th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nHeld in Florence\, Italy.\nPaper deadline was 28 April 20
 14.\nhttps://www.conferences-computer.science/formats/2014/
URL:https://www.conferences-computer.science/formats/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2015-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150902
DTEND;VALUE=DATE:20150905
SUMMARY:FORMATS 2015 — Madrid\, Spain
DESCRIPTION:13th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nHeld in Madrid\, Spain.\nPaper deadline was 04 May 2015.\
 nhttps://www.conferences-computer.science/formats/2015/
URL:https://www.conferences-computer.science/formats/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2016-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160824
DTEND;VALUE=DATE:20160827
SUMMARY:FORMATS 2016 — Québec City\, Canada
DESCRIPTION:14th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nHeld in Québec City\, Canada.\nPaper deadline was 29 Apr
 il 2016.\nhttps://www.conferences-computer.science/formats/2016/
URL:https://www.conferences-computer.science/formats/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2017-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170905
DTEND;VALUE=DATE:20170908
SUMMARY:FORMATS 2017 — Berlin\, Germany
DESCRIPTION:15th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nHeld in Berlin\, Germany.\nPaper deadline was 05 May 2017
 .\nhttps://www.conferences-computer.science/formats/2017/
URL:https://www.conferences-computer.science/formats/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2018-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180904
DTEND;VALUE=DATE:20180907
SUMMARY:FORMATS 2018 — Beijing\, China
DESCRIPTION:16th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nHeld in Beijing\, China.\nPaper deadline was 18 April 201
 8.\nhttps://www.conferences-computer.science/formats/2018/
URL:https://www.conferences-computer.science/formats/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2019-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20190827
DTEND;VALUE=DATE:20190830
SUMMARY:FORMATS 2019 — Amsterdam\, The Netherlands
DESCRIPTION:17th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nHeld in Amsterdam\, The Netherlands.\nPaper deadline was 
 20 May 2019.\nhttps://www.conferences-computer.science/formats/2019/
URL:https://www.conferences-computer.science/formats/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2020-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200901
DTEND;VALUE=DATE:20200904
SUMMARY:FORMATS 2020 — Virtual (Vienna\, Austria)
DESCRIPTION:18th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nHeld in Virtual (Vienna\, Austria).\nPaper deadline was 0
 7 May 2020.\nhttps://www.conferences-computer.science/formats/2020/
URL:https://www.conferences-computer.science/formats/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2021-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210823
DTEND;VALUE=DATE:20210828
SUMMARY:FORMATS 2021 — Online
DESCRIPTION:19th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nHeld in Online.\nPaper deadline was 10 May 2021.\nhttps:/
 /www.conferences-computer.science/formats/2021/
URL:https://www.conferences-computer.science/formats/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2022-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220912
DTEND;VALUE=DATE:20220918
SUMMARY:FORMATS 2022 — Warsaw\, Poland
DESCRIPTION:20th International Conference on Formal Modeling and Analysis o
 f Timed Systems\nHeld in Warsaw\, Poland.\nPaper deadline was 06 May 2022.
 \nhttps://www.conferences-computer.science/formats/2022/
URL:https://www.conferences-computer.science/formats/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FORMATS
END:VEVENT
BEGIN:VEVENT
UID:formats-2023-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230919
DTEND;VALUE=DATE:20230922
SUMMARY:FORMATS 2023 — Antwerp\, Belgium
DESCRIPTION:21st International Conference on Formal Modeling and Analysis o
 f Timed Systems\nHeld in Antwerp\, Belgium.\nPaper deadline was 08 May 202
 3.\nhttps://www.conferences-computer.science/formats/2023/
URL:https://www.conferences-computer.science/formats/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FORMATS
END:VEVENT
END:VCALENDAR