BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:HVC — deadlines and dates
X-WR-CALDESC:Every recorded edition of HVC. https://www.conferences-compute
 r.science/hvc/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:hvc-2015-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150724
DTEND;VALUE=DATE:20150725
SUMMARY:HVC 2015 — paper deadline
DESCRIPTION:11th Haifa Verification Conference\nDeadline stated in GMT.\nSh
 own as an all-day event: the deadline is a moment\, not a day\, so check t
 he exact time on the conference site.\nHeld in Haifa\, Israel.\nConference
  dates: 17–19 Nov 2015.\nhttps://www.conferences-computer.science/hvc/20
 15/
URL:https://www.conferences-computer.science/hvc/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,HVC
END:VEVENT
BEGIN:VEVENT
UID:hvc-2015-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150904
DTEND;VALUE=DATE:20150905
SUMMARY:HVC 2015 — notification
DESCRIPTION:11th Haifa Verification Conference\nNo time zone stated by the 
 organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve
 nt: the deadline is a moment\, not a day\, so check the exact time on the 
 conference site.\nHeld in Haifa\, Israel.\nConference dates: 17–19 Nov 2
 015.\nhttps://www.conferences-computer.science/hvc/2015/
URL:https://www.conferences-computer.science/hvc/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,HVC
END:VEVENT
BEGIN:VEVENT
UID:hvc-2016-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160721
DTEND;VALUE=DATE:20160722
SUMMARY:HVC 2016 — paper deadline
DESCRIPTION:12th Haifa Verification Conference\nDeadline stated in GMT.\nSh
 own as an all-day event: the deadline is a moment\, not a day\, so check t
 he exact time on the conference site.\nExtended from 14 July 2016.\nHeld i
 n Haifa\, Israel.\nConference dates: 14–17 Nov 2016.\nhttps://www.confer
 ences-computer.science/hvc/2016/
URL:https://www.conferences-computer.science/hvc/2016/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,HVC
END:VEVENT
BEGIN:VEVENT
UID:hvc-2016-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160905
DTEND;VALUE=DATE:20160906
SUMMARY:HVC 2016 — notification
DESCRIPTION:12th Haifa Verification Conference\nNo time zone stated by the 
 organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve
 nt: the deadline is a moment\, not a day\, so check the exact time on the 
 conference site.\nHeld in Haifa\, Israel.\nConference dates: 14–17 Nov 2
 016.\nhttps://www.conferences-computer.science/hvc/2016/
URL:https://www.conferences-computer.science/hvc/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,HVC
END:VEVENT
BEGIN:VEVENT
UID:hvc-2017-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170728
DTEND;VALUE=DATE:20170729
SUMMARY:HVC 2017 — paper deadline
DESCRIPTION:13th Haifa Verification Conference\nDeadline stated in GMT.\nSh
 own as an all-day event: the deadline is a moment\, not a day\, so check t
 he exact time on the conference site.\nExtended from 21 July 2017.\nHeld i
 n Haifa\, Israel.\nConference dates: 13–15 Nov 2017.\nhttps://www.confer
 ences-computer.science/hvc/2017/
URL:https://www.conferences-computer.science/hvc/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,HVC
END:VEVENT
BEGIN:VEVENT
UID:hvc-2017-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170901
DTEND;VALUE=DATE:20170902
SUMMARY:HVC 2017 — notification
DESCRIPTION:13th Haifa Verification Conference\nNo time zone stated by the 
 organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve
 nt: the deadline is a moment\, not a day\, so check the exact time on the 
 conference site.\nHeld in Haifa\, Israel.\nConference dates: 13–15 Nov 2
 017.\nhttps://www.conferences-computer.science/hvc/2017/
URL:https://www.conferences-computer.science/hvc/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,HVC
END:VEVENT
BEGIN:VEVENT
UID:hvc-2015-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20151117
DTEND;VALUE=DATE:20151120
SUMMARY:HVC 2015 — Haifa\, Israel
DESCRIPTION:11th Haifa Verification Conference\nHeld in Haifa\, Israel.\nPa
 per deadline was 24 July 2015.\nhttps://www.conferences-computer.science/h
 vc/2015/
URL:https://www.conferences-computer.science/hvc/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,HVC
END:VEVENT
BEGIN:VEVENT
UID:hvc-2016-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20161114
DTEND;VALUE=DATE:20161118
SUMMARY:HVC 2016 — Haifa\, Israel
DESCRIPTION:12th Haifa Verification Conference\nHeld in Haifa\, Israel.\nPa
 per deadline was 21 July 2016.\nhttps://www.conferences-computer.science/h
 vc/2016/
URL:https://www.conferences-computer.science/hvc/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,HVC
END:VEVENT
BEGIN:VEVENT
UID:hvc-2017-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20171113
DTEND;VALUE=DATE:20171116
SUMMARY:HVC 2017 — Haifa\, Israel
DESCRIPTION:13th Haifa Verification Conference\nHeld in Haifa\, Israel.\nPa
 per deadline was 28 July 2017.\nhttps://www.conferences-computer.science/h
 vc/2017/
URL:https://www.conferences-computer.science/hvc/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,HVC
END:VEVENT
END:VCALENDAR