{
 "generated": "2026-08-13T08:58:19.501980+00:00",
 "source": "https://www.conferences-computer.science/fmi/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FMi",
 "name": "The 7th IEEE International Workshop on Formal Methods Integration",
 "count": 4,
 "editions": [
  {
   "slug": "fmi",
   "acronym": "FMi",
   "year": "2015",
   "edition": 3,
   "title": "The 3rd IEEE International Workshop on Formal Methods Integration",
   "url": "http://www.ieee-iri.org",
   "page": "https://www.conferences-computer.science/fmi/2015/",
   "status": null,
   "abstract_deadline": "2015-05-12",
   "paper_deadline": "2015-05-12",
   "paper_deadline_announced": "2015-04-15",
   "paper_extended_days": 27,
   "notification": "2015-06-15",
   "timezone": null,
   "event_start": "2015-08-12",
   "event_end": "2015-08-14",
   "city": "San Francisco, USA",
   "country": "US",
   "continent": "NA",
   "lat": 37.7749,
   "lon": -122.4194,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "8 pages IEEE",
   "dblp": null
  },
  {
   "slug": "fmi",
   "acronym": "FMi",
   "year": "2016",
   "edition": 4,
   "title": "The 4th IEEE International Workshop on Formal Methods Integration",
   "url": "http://www.sis.pitt.edu/iri2016/workshop_fmi.html",
   "page": "https://www.conferences-computer.science/fmi/2016/",
   "status": null,
   "abstract_deadline": "2016-03-15",
   "paper_deadline": "2016-03-25",
   "paper_deadline_announced": "2016-03-25",
   "paper_extended_days": 0,
   "notification": "2016-04-25",
   "timezone": null,
   "event_start": "2016-07-28",
   "event_end": "2016-07-30",
   "city": "Pittsburgh, USA",
   "country": "US",
   "continent": "NA",
   "lat": 40.4406,
   "lon": -79.9959,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "8 pages IEEE",
   "dblp": null
  },
  {
   "slug": "fmi",
   "acronym": "FMi",
   "year": "2017",
   "edition": 5,
   "title": "The 5th IEEE International Workshop on Formal Methods Integration",
   "url": "http://www.sis.pitt.edu/iri2017/workshop_fmi.html",
   "page": "https://www.conferences-computer.science/fmi/2017/",
   "status": null,
   "abstract_deadline": "2017-04-20",
   "paper_deadline": "2017-05-01",
   "paper_deadline_announced": "2017-03-25",
   "paper_extended_days": 37,
   "notification": "2017-06-01",
   "timezone": null,
   "event_start": "2017-08-04",
   "event_end": "2017-08-06",
   "city": "San Diego, CA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 32.7157,
   "lon": -117.1611,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "8 pages IEEE",
   "dblp": null
  },
  {
   "slug": "fmi",
   "acronym": "FMi",
   "year": "2019",
   "edition": 7,
   "title": "The 7th IEEE International Workshop on Formal Methods Integration",
   "url": "http://www.sis.pitt.edu/iri2017/workshop_fmi.html",
   "page": "https://www.conferences-computer.science/fmi/2019/",
   "status": null,
   "abstract_deadline": "2019-05-15",
   "paper_deadline": "2019-05-18",
   "paper_deadline_announced": "2019-05-02",
   "paper_extended_days": 16,
   "notification": "2019-06-18",
   "timezone": null,
   "event_start": "2019-07-30",
   "event_end": "2019-08-01",
   "city": "Los Angeles, CA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 34.0522,
   "lon": -118.2437,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "8 pages IEEE",
   "dblp": null
  }
 ]
}