BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:FMi — deadlines and dates
X-WR-CALDESC:Every recorded edition of FMi. https://www.conferences-compute
 r.science/fmi/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:fmi-2015-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150512
DTEND;VALUE=DATE:20150513
SUMMARY:FMi 2015 — abstract deadline
DESCRIPTION:The 3rd IEEE International Workshop on Formal Methods Integrati
 on\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 check the exact time on the conference site.\nExtended from 07 April 20
 15.\nHeld in San Francisco\, USA.\nConference dates: 12–14 Aug 2015.\nht
 tps://www.conferences-computer.science/fmi/2015/
URL:https://www.conferences-computer.science/fmi/2015/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2015-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150512
DTEND;VALUE=DATE:20150513
SUMMARY:FMi 2015 — paper deadline
DESCRIPTION:The 3rd IEEE International Workshop on Formal Methods Integrati
 on\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 check the exact time on the conference site.\nExtended from 15 April 20
 15.\nHeld in San Francisco\, USA.\nConference dates: 12–14 Aug 2015.\nht
 tps://www.conferences-computer.science/fmi/2015/
URL:https://www.conferences-computer.science/fmi/2015/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2015-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150615
DTEND;VALUE=DATE:20150616
SUMMARY:FMi 2015 — notification
DESCRIPTION:The 3rd IEEE International Workshop on Formal Methods Integrati
 on\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 check the exact time on the conference site.\nExtended from 20 May 2015
 .\nHeld in San Francisco\, USA.\nConference dates: 12–14 Aug 2015.\nhttp
 s://www.conferences-computer.science/fmi/2015/
URL:https://www.conferences-computer.science/fmi/2015/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2016-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160315
DTEND;VALUE=DATE:20160316
SUMMARY:FMi 2016 — abstract deadline
DESCRIPTION:The 4th IEEE International Workshop on Formal Methods Integrati
 on\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 check the exact time on the conference site.\nHeld in Pittsburgh\, USA.
 \nConference dates: 28–30 Jul 2016.\nhttps://www.conferences-computer.sc
 ience/fmi/2016/
URL:https://www.conferences-computer.science/fmi/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2016-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160325
DTEND;VALUE=DATE:20160326
SUMMARY:FMi 2016 — paper deadline
DESCRIPTION:The 4th IEEE International Workshop on Formal Methods Integrati
 on\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 check the exact time on the conference site.\nHeld in Pittsburgh\, USA.
 \nConference dates: 28–30 Jul 2016.\nhttps://www.conferences-computer.sc
 ience/fmi/2016/
URL:https://www.conferences-computer.science/fmi/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2016-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160425
DTEND;VALUE=DATE:20160426
SUMMARY:FMi 2016 — notification
DESCRIPTION:The 4th IEEE International Workshop on Formal Methods Integrati
 on\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 check the exact time on the conference site.\nHeld in Pittsburgh\, USA.
 \nConference dates: 28–30 Jul 2016.\nhttps://www.conferences-computer.sc
 ience/fmi/2016/
URL:https://www.conferences-computer.science/fmi/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2017-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170420
DTEND;VALUE=DATE:20170421
SUMMARY:FMi 2017 — abstract deadline
DESCRIPTION:The 5th IEEE International Workshop on Formal Methods Integrati
 on\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 check the exact time on the conference site.\nExtended from 15 March 20
 17.\nHeld in San Diego\, CA\, USA.\nConference dates: 4–6 Aug 2017.\nhtt
 ps://www.conferences-computer.science/fmi/2017/
URL:https://www.conferences-computer.science/fmi/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2017-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170501
DTEND;VALUE=DATE:20170502
SUMMARY:FMi 2017 — paper deadline
DESCRIPTION:The 5th IEEE International Workshop on Formal Methods Integrati
 on\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 check the exact time on the conference site.\nExtended from 25 March 20
 17.\nHeld in San Diego\, CA\, USA.\nConference dates: 4–6 Aug 2017.\nhtt
 ps://www.conferences-computer.science/fmi/2017/
URL:https://www.conferences-computer.science/fmi/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2017-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170601
DTEND;VALUE=DATE:20170602
SUMMARY:FMi 2017 — notification
DESCRIPTION:The 5th IEEE International Workshop on Formal Methods Integrati
 on\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 check the exact time on the conference site.\nExtended from 25 April 20
 17.\nHeld in San Diego\, CA\, USA.\nConference dates: 4–6 Aug 2017.\nhtt
 ps://www.conferences-computer.science/fmi/2017/
URL:https://www.conferences-computer.science/fmi/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2019-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20190515
DTEND;VALUE=DATE:20190516
SUMMARY:FMi 2019 — abstract deadline
DESCRIPTION:The 7th IEEE International Workshop on Formal Methods Integrati
 on\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 check the exact time on the conference site.\nExtended from 25 April 20
 19.\nHeld in Los Angeles\, CA\, USA.\nConference dates: 30 Jul – 1 Aug 2
 019.\nhttps://www.conferences-computer.science/fmi/2019/
URL:https://www.conferences-computer.science/fmi/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2019-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20190518
DTEND;VALUE=DATE:20190519
SUMMARY:FMi 2019 — paper deadline
DESCRIPTION:The 7th IEEE International Workshop on Formal Methods Integrati
 on\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 check the exact time on the conference site.\nExtended from 02 May 2019
 .\nHeld in Los Angeles\, CA\, USA.\nConference dates: 30 Jul – 1 Aug 201
 9.\nhttps://www.conferences-computer.science/fmi/2019/
URL:https://www.conferences-computer.science/fmi/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2019-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20190618
DTEND;VALUE=DATE:20190619
SUMMARY:FMi 2019 — notification
DESCRIPTION:The 7th IEEE International Workshop on Formal Methods Integrati
 on\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 check the exact time on the conference site.\nExtended from 01 June 201
 9.\nHeld in Los Angeles\, CA\, USA.\nConference dates: 30 Jul – 1 Aug 20
 19.\nhttps://www.conferences-computer.science/fmi/2019/
URL:https://www.conferences-computer.science/fmi/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2015-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150812
DTEND;VALUE=DATE:20150815
SUMMARY:FMi 2015 — San Francisco\, USA
DESCRIPTION:The 3rd IEEE International Workshop on Formal Methods Integrati
 on\nHeld in San Francisco\, USA.\nPaper deadline was 12 May 2015.\nhttps:/
 /www.conferences-computer.science/fmi/2015/
URL:https://www.conferences-computer.science/fmi/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2016-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160728
DTEND;VALUE=DATE:20160731
SUMMARY:FMi 2016 — Pittsburgh\, USA
DESCRIPTION:The 4th IEEE International Workshop on Formal Methods Integrati
 on\nHeld in Pittsburgh\, USA.\nPaper deadline was 25 March 2016.\nhttps://
 www.conferences-computer.science/fmi/2016/
URL:https://www.conferences-computer.science/fmi/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2017-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170804
DTEND;VALUE=DATE:20170807
SUMMARY:FMi 2017 — San Diego\, CA\, USA
DESCRIPTION:The 5th IEEE International Workshop on Formal Methods Integrati
 on\nHeld in San Diego\, CA\, USA.\nPaper deadline was 01 May 2017.\nhttps:
 //www.conferences-computer.science/fmi/2017/
URL:https://www.conferences-computer.science/fmi/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FMi
END:VEVENT
BEGIN:VEVENT
UID:fmi-2019-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20190730
DTEND;VALUE=DATE:20190802
SUMMARY:FMi 2019 — Los Angeles\, CA\, USA
DESCRIPTION:The 7th IEEE International Workshop on Formal Methods Integrati
 on\nHeld in Los Angeles\, CA\, USA.\nPaper deadline was 18 May 2019.\nhttp
 s://www.conferences-computer.science/fmi/2019/
URL:https://www.conferences-computer.science/fmi/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FMi
END:VEVENT
END:VCALENDAR