BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:FEVER — deadlines and dates
X-WR-CALDESC:Every recorded edition of FEVER. https://www.conferences-compu
 ter.science/fever/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:fever-2017-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170529
DTEND;VALUE=DATE:20170530
SUMMARY:FEVER 2017 — paper deadline
DESCRIPTION:Workshop on Formal approaches to Explainable VERification\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 chec
 k the exact time on the conference site.\nExtended from 22 May 2017.\nHeld
  in Heidelberg\, Germany.\nConference dates: 23 Jul 2017.\nhttps://www.con
 ferences-computer.science/fever/2017/
URL:https://www.conferences-computer.science/fever/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FEVER
END:VEVENT
BEGIN:VEVENT
UID:fever-2017-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170530
DTEND;VALUE=DATE:20170531
SUMMARY:FEVER 2017 — notification
DESCRIPTION:Workshop on Formal approaches to Explainable VERification\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 chec
 k the exact time on the conference site.\nHeld in Heidelberg\, Germany.\nC
 onference dates: 23 Jul 2017.\nhttps://www.conferences-computer.science/fe
 ver/2017/
URL:https://www.conferences-computer.science/fever/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FEVER
END:VEVENT
BEGIN:VEVENT
UID:fever-2017-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170723
DTEND;VALUE=DATE:20170724
SUMMARY:FEVER 2017 — Heidelberg\, Germany
DESCRIPTION:Workshop on Formal approaches to Explainable VERification\nHel
 d in Heidelberg\, Germany.\nPaper deadline was 29 May 2017.\nhttps://www.c
 onferences-computer.science/fever/2017/
URL:https://www.conferences-computer.science/fever/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FEVER
END:VEVENT
END:VCALENDAR