{
 "generated": "2026-08-13T11:47:39.294592+00:00",
 "source": "https://www.conferences-computer.science/fm/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FM",
 "name": "International Symposium on Formal Methods",
 "count": 9,
 "editions": [
  {
   "slug": "fm",
   "acronym": "FM",
   "year": "2012",
   "edition": null,
   "title": "International Symposium on Formal Methods",
   "url": null,
   "page": "https://www.conferences-computer.science/fm/2012/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": null,
   "paper_deadline_announced": null,
   "paper_extended_days": null,
   "notification": null,
   "timezone": null,
   "event_start": null,
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": false,
   "publisher": null,
   "license": null,
   "doi": null,
   "core_rank": "A",
   "submitted": 132,
   "accepted": 35,
   "acceptance_rate": 26.5,
   "format": null,
   "dblp": "fm"
  },
  {
   "slug": "fm",
   "acronym": "FM",
   "year": "2015",
   "edition": 20,
   "title": "20th International Symposium on Formal Methods",
   "url": "http://fm2015.ifi.uio.no/",
   "page": "https://www.conferences-computer.science/fm/2015/",
   "status": null,
   "abstract_deadline": "2015-01-02",
   "paper_deadline": "2015-01-09",
   "paper_deadline_announced": "2015-01-09",
   "paper_extended_days": 0,
   "notification": "2015-03-23",
   "timezone": null,
   "event_start": "2015-06-22",
   "event_end": "2015-06-26",
   "city": "Oslo, Norway",
   "country": "NO",
   "continent": "EU",
   "lat": 59.9139,
   "lon": 10.7522,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "Springer 15 pages (regular) / 4 pages (tool) / 15 pages (industry, different deadline)",
   "dblp": "fm"
  },
  {
   "slug": "fm",
   "acronym": "FM",
   "year": "2016",
   "edition": 21,
   "title": "21st International Symposium on Formal Methods",
   "url": "http://fm2016.cs.ucy.ac.cy/",
   "page": "https://www.conferences-computer.science/fm/2016/",
   "status": null,
   "abstract_deadline": "2016-05-16",
   "paper_deadline": "2016-05-30",
   "paper_deadline_announced": "2016-05-30",
   "paper_extended_days": 0,
   "notification": "2016-08-08",
   "timezone": null,
   "event_start": "2016-11-07",
   "event_end": "2016-11-11",
   "city": "Limassol, Cyprus",
   "country": "CY",
   "continent": "EU",
   "lat": 34.7071,
   "lon": 33.0226,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "Springer 15 pages (regular) / 6 pages (short / tool)",
   "dblp": "fm"
  },
  {
   "slug": "fm",
   "acronym": "FM",
   "year": "2018",
   "edition": 22,
   "title": "22nd International Symposium on Formal Methods",
   "url": "http://www.fm2018.org/",
   "page": "https://www.conferences-computer.science/fm/2018/",
   "status": null,
   "abstract_deadline": "2018-01-08",
   "paper_deadline": "2018-01-22",
   "paper_deadline_announced": "2018-01-22",
   "paper_extended_days": 0,
   "notification": "2018-04-09",
   "timezone": null,
   "event_start": "2018-07-15",
   "event_end": "2018-07-17",
   "city": "Oxford, England",
   "country": "GB",
   "continent": "EU",
   "lat": 51.752,
   "lon": -1.2577,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": 110,
   "accepted": 35,
   "acceptance_rate": 31.8,
   "format": "Springer 15 pages (regular) / 6 pages (short / tool)",
   "dblp": "fm"
  },
  {
   "slug": "fm",
   "acronym": "FM",
   "year": "2019",
   "edition": 23,
   "title": "23rd International Symposium on Formal Methods",
   "url": "http://formalmethods2019.inesctec.pt/",
   "page": "https://www.conferences-computer.science/fm/2019/",
   "status": null,
   "abstract_deadline": "2019-03-28",
   "paper_deadline": "2019-04-11",
   "paper_deadline_announced": "2019-04-11",
   "paper_extended_days": 0,
   "notification": "2019-06-11",
   "timezone": "AoE",
   "event_start": "2019-10-07",
   "event_end": "2019-10-11",
   "city": "Porto, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 41.1579,
   "lon": -8.6291,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "Springer 15 pages (regular) / 6 pages (short / tool)",
   "dblp": "fm"
  },
  {
   "slug": "fm",
   "acronym": "FM",
   "year": "2021",
   "edition": 24,
   "title": "24th International Symposium on Formal Methods",
   "url": "https://lcs.ios.ac.cn/fm2021/",
   "page": "https://www.conferences-computer.science/fm/2021/",
   "status": null,
   "abstract_deadline": "2021-04-30",
   "paper_deadline": "2021-05-06",
   "paper_deadline_announced": "2021-05-06",
   "paper_extended_days": 0,
   "notification": "2021-07-16",
   "timezone": "AoE",
   "event_start": "2021-11-20",
   "event_end": "2021-11-26",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "Springer 15 pages (regular / long tool / case study) / 6 pages (short / tool demo)",
   "dblp": "fm"
  },
  {
   "slug": "fm",
   "acronym": "FM",
   "year": "2023",
   "edition": 25,
   "title": "25th International Symposium on Formal Methods",
   "url": "https://fm2023.isp.uni-luebeck.de/",
   "page": "https://www.conferences-computer.science/fm/2023/",
   "status": null,
   "abstract_deadline": "2022-09-04",
   "paper_deadline": "2022-09-11",
   "paper_deadline_announced": "2022-09-11",
   "paper_extended_days": 0,
   "notification": "2022-11-15",
   "timezone": "AoE",
   "event_start": "2023-03-06",
   "event_end": "2023-03-10",
   "city": "Lübeck, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 53.8655,
   "lon": 10.6866,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "Springer 15 pages + references (regular / long tool / case study) / 6 pages (short / tool demo)",
   "dblp": "fm"
  },
  {
   "slug": "fm",
   "acronym": "FM",
   "year": "2024",
   "edition": 26,
   "title": "26th International Symposium on Formal Methods",
   "url": "https://www.fm24.polimi.it",
   "page": "https://www.conferences-computer.science/fm/2024/",
   "status": null,
   "abstract_deadline": "2024-04-15",
   "paper_deadline": "2024-04-19",
   "paper_deadline_announced": "2024-04-19",
   "paper_extended_days": 0,
   "notification": "2024-06-10",
   "timezone": "AoE",
   "event_start": "2024-09-09",
   "event_end": "2024-09-13",
   "city": "Milan, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 45.4642,
   "lon": 9.19,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "free",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "Springer 15 pages + references (regular / long tool / case study) / 6 pages (short / tool demo)",
   "dblp": "fm"
  },
  {
   "slug": "fm",
   "acronym": "FM",
   "year": "2026",
   "edition": 27,
   "title": "27th International Symposium on Formal Methods",
   "url": "https://conf.researchr.org/home/fm-2026",
   "page": "https://www.conferences-computer.science/fm/2026/",
   "status": null,
   "abstract_deadline": "2025-11-25",
   "paper_deadline": "2025-12-02",
   "paper_deadline_announced": "2025-12-02",
   "paper_extended_days": 0,
   "notification": "2026-02-06",
   "timezone": null,
   "event_start": "2026-05-20",
   "event_end": "2026-05-22",
   "city": "Tokyo, Japan",
   "country": "JP",
   "continent": "AS",
   "lat": 35.6762,
   "lon": 139.6503,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "free",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "Springer 15 pages + references (regular / long tool / case study) / 6 pages (short / tool demo)",
   "dblp": "fm"
  }
 ]
}