BEGIN:VCALENDAR
PRODID:-//WikiCFP//anmavrid 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260512T233928Z
DTSTART;VALUE=DATE:20200511
DTEND;VALUE=DATE:20200516
SUMMARY:NFM 2020
DESCRIPTION: 12th NASA Formal Methods Symposium 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95411&copyow
 nerid=159439
UID:cfp817899-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260512T233928Z
DTSTART;VALUE=DATE:20191224
SUMMARY:NFM 2020 Abstract Due
DESCRIPTION: 12th NASA Formal Methods Symposium 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95411&copyow
 nerid=159439
UID:cfp817899-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260512T233928Z
DTSTART;VALUE=DATE:20191230
SUMMARY:NFM 2020 Deadline
DESCRIPTION: 12th NASA Formal Methods Symposium 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95411&copyow
 nerid=159439
UID:cfp817899-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260512T233928Z
DTSTART;VALUE=DATE:20200220
SUMMARY:NFM 2020 Notification Due
DESCRIPTION: 12th NASA Formal Methods Symposium 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95411&copyow
 nerid=159439
UID:cfp817899-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260512T233928Z
DTSTART;VALUE=DATE:20200327
SUMMARY:NFM 2020 Final Version Due
DESCRIPTION: 12th NASA Formal Methods Symposium 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=95411&copyow
 nerid=159439
UID:cfp817899-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260512T233928Z
DTSTART;VALUE=DATE:20210823
DTEND;VALUE=DATE:20210828
SUMMARY:FMICS 2021
DESCRIPTION:Formal Methods for Industrial Critical Systems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=125239&copyo
 wnerid=159439
UID:cfp873204-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260512T233928Z
DTSTART;VALUE=DATE:20210507
SUMMARY:FMICS 2021 Abstract Due
DESCRIPTION:Formal Methods for Industrial Critical Systems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=125239&copyo
 wnerid=159439
UID:cfp873204-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260512T233928Z
DTSTART;VALUE=DATE:20210514
SUMMARY:FMICS 2021 Deadline
DESCRIPTION:Formal Methods for Industrial Critical Systems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=125239&copyo
 wnerid=159439
UID:cfp873204-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260512T233928Z
DTSTART;VALUE=DATE:20210628
SUMMARY:FMICS 2021 Notification Due
DESCRIPTION:Formal Methods for Industrial Critical Systems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=125239&copyo
 wnerid=159439
UID:cfp873204-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260512T233928Z
DTSTART;VALUE=DATE:20210705
SUMMARY:FMICS 2021 Final Version Due
DESCRIPTION:Formal Methods for Industrial Critical Systems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=125239&copyo
 wnerid=159439
UID:cfp873204-N@wikicfp.com
END:VEVENT
END:VCALENDAR