BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:AFM — deadlines and dates
X-WR-CALDESC:Every recorded edition of AFM. https://www.conferences-compute
 r.science/afm/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:afm-2017-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170403
DTEND;VALUE=DATE:20170404
SUMMARY:AFM 2017 — paper deadline
DESCRIPTION:Sixth Automated Formal Methods (AFM) workshop\nNo time zone sta
 ted 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 t
 ime on the conference site.\nExtended from 27 March 2017.\nHeld in Menlo P
 ark\, CA\, USA.\nConference dates: 19–20 May 2017.\nhttps://www.conferen
 ces-computer.science/afm/2017/
URL:https://www.conferences-computer.science/afm/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,AFM
END:VEVENT
BEGIN:VEVENT
UID:afm-2017-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170424
DTEND;VALUE=DATE:20170425
SUMMARY:AFM 2017 — notification
DESCRIPTION:Sixth Automated Formal Methods (AFM) workshop\nNo time zone sta
 ted 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 t
 ime on the conference site.\nExtended from 17 April 2017.\nHeld in Menlo P
 ark\, CA\, USA.\nConference dates: 19–20 May 2017.\nhttps://www.conferen
 ces-computer.science/afm/2017/
URL:https://www.conferences-computer.science/afm/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,AFM
END:VEVENT
BEGIN:VEVENT
UID:afm-2017-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170519
DTEND;VALUE=DATE:20170521
SUMMARY:AFM 2017 — Menlo Park\, CA\, USA
DESCRIPTION:Sixth Automated Formal Methods (AFM) workshop\nHeld in Menlo Pa
 rk\, CA\, USA.\nPaper deadline was 03 April 2017.\nhttps://www.conferences
 -computer.science/afm/2017/
URL:https://www.conferences-computer.science/afm/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,AFM
END:VEVENT
END:VCALENDAR