BEGIN:VCALENDAR
PRODID:-//WikiCFP//EmmaBear 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260616T053403Z
DTSTART;VALUE=DATE:20170516
DTEND;VALUE=DATE:20170519
SUMMARY:NFM 2017
DESCRIPTION:The 9th NASA Formal Methods Symposium
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57101&copyow
 nerid=91657
UID:cfp620163-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260616T053403Z
DTSTART;VALUE=DATE:20161128
SUMMARY:NFM 2017 Abstract Due
DESCRIPTION:The 9th NASA Formal Methods Symposium
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57101&copyow
 nerid=91657
UID:cfp620163-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260616T053403Z
DTSTART;VALUE=DATE:20161205
SUMMARY:NFM 2017 Deadline
DESCRIPTION:The 9th NASA Formal Methods Symposium
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57101&copyow
 nerid=91657
UID:cfp620163-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260616T053403Z
DTSTART;VALUE=DATE:20170203
SUMMARY:NFM 2017 Notification Due
DESCRIPTION:The 9th NASA Formal Methods Symposium
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57101&copyow
 nerid=91657
UID:cfp620163-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260616T053403Z
DTSTART;VALUE=DATE:20170301
SUMMARY:NFM 2017 Final Version Due
DESCRIPTION:The 9th NASA Formal Methods Symposium
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=57101&copyow
 nerid=91657
UID:cfp620163-N@wikicfp.com
END:VEVENT
END:VCALENDAR