BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:AVoCS — deadlines and dates
X-WR-CALDESC:Every recorded edition of AVoCS. https://www.conferences-compu
 ter.science/avocs/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:avocs-2015-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150615
DTEND;VALUE=DATE:20150616
SUMMARY:AVoCS 2015 — abstract deadline
DESCRIPTION:15th International Workshop on Automated Verification of Critic
 al Systems\nNo time zone stated by the organisers\; this site assumes Anyw
 here 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 Edinburgh
 \, UK.\nConference dates: 1–4 Sep 2015.\nhttps://www.conferences-compute
 r.science/avocs/2015/
URL:https://www.conferences-computer.science/avocs/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,AVoCS
END:VEVENT
BEGIN:VEVENT
UID:avocs-2015-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150619
DTEND;VALUE=DATE:20150620
SUMMARY:AVoCS 2015 — paper deadline
DESCRIPTION:15th International Workshop on Automated Verification of Critic
 al Systems\nNo time zone stated by the organisers\; this site assumes Anyw
 here 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 Edinburgh
 \, UK.\nConference dates: 1–4 Sep 2015.\nhttps://www.conferences-compute
 r.science/avocs/2015/
URL:https://www.conferences-computer.science/avocs/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,AVoCS
END:VEVENT
BEGIN:VEVENT
UID:avocs-2015-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150714
DTEND;VALUE=DATE:20150715
SUMMARY:AVoCS 2015 — notification
DESCRIPTION:15th International Workshop on Automated Verification of Critic
 al Systems\nNo time zone stated by the organisers\; this site assumes Anyw
 here 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 Edinburgh
 \, UK.\nConference dates: 1–4 Sep 2015.\nhttps://www.conferences-compute
 r.science/avocs/2015/
URL:https://www.conferences-computer.science/avocs/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,AVoCS
END:VEVENT
BEGIN:VEVENT
UID:avocs-2018-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180410
DTEND;VALUE=DATE:20180411
SUMMARY:AVoCS 2018 — abstract deadline
DESCRIPTION:18th International Workshop on Automated Verification of Critic
 al Systems\nNo time zone stated by the organisers\; this site assumes Anyw
 here 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 Oxford\, 
 England.\nConference dates: 18–19 Jul 2018.\nhttps://www.conferences-com
 puter.science/avocs/2018/
URL:https://www.conferences-computer.science/avocs/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,AVoCS
END:VEVENT
BEGIN:VEVENT
UID:avocs-2018-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180420
DTEND;VALUE=DATE:20180421
SUMMARY:AVoCS 2018 — paper deadline
DESCRIPTION:18th International Workshop on Automated Verification of Critic
 al Systems\nNo time zone stated by the organisers\; this site assumes Anyw
 here 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 from 15 
 April 2018.\nHeld in Oxford\, England.\nConference dates: 18–19 Jul 2018
 .\nhttps://www.conferences-computer.science/avocs/2018/
URL:https://www.conferences-computer.science/avocs/2018/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,AVoCS
END:VEVENT
BEGIN:VEVENT
UID:avocs-2018-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180515
DTEND;VALUE=DATE:20180516
SUMMARY:AVoCS 2018 — notification
DESCRIPTION:18th International Workshop on Automated Verification of Critic
 al Systems\nNo time zone stated by the organisers\; this site assumes Anyw
 here 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 Oxford\, 
 England.\nConference dates: 18–19 Jul 2018.\nhttps://www.conferences-com
 puter.science/avocs/2018/
URL:https://www.conferences-computer.science/avocs/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,AVoCS
END:VEVENT
BEGIN:VEVENT
UID:avocs-2019-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190609
DTEND;VALUE=DATE:20190610
SUMMARY:AVoCS 2019 — abstract deadline
DESCRIPTION:19th International Workshop on Automated Verification of Critic
 al Systems\nNo time zone stated by the organisers\; this site assumes Anyw
 here 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 from 26 
 May 2019.\nHeld in Grenoble\, France.\nConference dates: 30 Sep – 1 Oct 
 2019.\nhttps://www.conferences-computer.science/avocs/2019/
URL:https://www.conferences-computer.science/avocs/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,AVoCS
END:VEVENT
BEGIN:VEVENT
UID:avocs-2019-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190616
DTEND;VALUE=DATE:20190617
SUMMARY:AVoCS 2019 — paper deadline
DESCRIPTION:19th International Workshop on Automated Verification of Critic
 al Systems\nNo time zone stated by the organisers\; this site assumes Anyw
 here 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 from 02 
 June 2019.\nHeld in Grenoble\, France.\nConference dates: 30 Sep – 1 Oct
  2019.\nhttps://www.conferences-computer.science/avocs/2019/
URL:https://www.conferences-computer.science/avocs/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,AVoCS
END:VEVENT
BEGIN:VEVENT
UID:avocs-2019-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190707
DTEND;VALUE=DATE:20190708
SUMMARY:AVoCS 2019 — notification
DESCRIPTION:19th International Workshop on Automated Verification of Critic
 al Systems\nNo time zone stated by the organisers\; this site assumes Anyw
 here 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 from 23 
 June 2019.\nHeld in Grenoble\, France.\nConference dates: 30 Sep – 1 Oct
  2019.\nhttps://www.conferences-computer.science/avocs/2019/
URL:https://www.conferences-computer.science/avocs/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,AVoCS
END:VEVENT
BEGIN:VEVENT
UID:avocs-2015-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150901
DTEND;VALUE=DATE:20150905
SUMMARY:AVoCS 2015 — Edinburgh\, UK
DESCRIPTION:15th International Workshop on Automated Verification of Critic
 al Systems\nHeld in Edinburgh\, UK.\nPaper deadline was 19 June 2015.\nhtt
 ps://www.conferences-computer.science/avocs/2015/
URL:https://www.conferences-computer.science/avocs/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,AVoCS
END:VEVENT
BEGIN:VEVENT
UID:avocs-2018-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180718
DTEND;VALUE=DATE:20180720
SUMMARY:AVoCS 2018 — Oxford\, England
DESCRIPTION:18th International Workshop on Automated Verification of Critic
 al Systems\nHeld in Oxford\, England.\nPaper deadline was 20 April 2018.\n
 https://www.conferences-computer.science/avocs/2018/
URL:https://www.conferences-computer.science/avocs/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,AVoCS
END:VEVENT
BEGIN:VEVENT
UID:avocs-2019-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190930
DTEND;VALUE=DATE:20191002
SUMMARY:AVoCS 2019 — Grenoble\, France
DESCRIPTION:19th International Workshop on Automated Verification of Critic
 al Systems\nHeld in Grenoble\, France.\nPaper deadline was 16 June 2019.\n
 https://www.conferences-computer.science/avocs/2019/
URL:https://www.conferences-computer.science/avocs/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,AVoCS
END:VEVENT
END:VCALENDAR