BEGIN:VCALENDAR
PRODID:-//WikiCFP//cbraga 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260630T081310Z
DTSTART;VALUE=DATE:20140929
DTEND;VALUE=DATE:20141002
SUMMARY:SBMF 2014
DESCRIPTION:Brazilian Symposium on Formal Methods
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34516&copyow
 nerid=58721
UID:cfp407684-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260630T081310Z
DTSTART;VALUE=DATE:20140715
SUMMARY:SBMF 2014 Abstract Due
DESCRIPTION:Brazilian Symposium on Formal Methods
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34516&copyow
 nerid=58721
UID:cfp407684-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260630T081310Z
DTSTART;VALUE=DATE:20140722
SUMMARY:SBMF 2014 Deadline
DESCRIPTION:Brazilian Symposium on Formal Methods
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34516&copyow
 nerid=58721
UID:cfp407684-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260630T081310Z
DTSTART;VALUE=DATE:20140822
SUMMARY:SBMF 2014 Notification Due
DESCRIPTION:Brazilian Symposium on Formal Methods
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34516&copyow
 nerid=58721
UID:cfp407684-N@wikicfp.com
END:VEVENT
END:VCALENDAR