{
 "generated": "2026-08-14T09:20:11.751052+00:00",
 "source": "https://www.conferences-computer.science/icfem/",
 "licence": "CC BY-SA 4.0",
 "acronym": "ICFEM",
 "name": "International Conference on Formal Engineering Methods",
 "count": 15,
 "editions": [
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2009",
   "edition": null,
   "title": "International Conference on Formal Engineering Methods",
   "url": null,
   "page": "https://www.conferences-computer.science/icfem/2009/",
   "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": "B",
   "submitted": 121,
   "accepted": 36,
   "acceptance_rate": 29.8,
   "format": null,
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2011",
   "edition": null,
   "title": "International Conference on Formal Engineering Methods",
   "url": null,
   "page": "https://www.conferences-computer.science/icfem/2011/",
   "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": "B",
   "submitted": 103,
   "accepted": 31,
   "acceptance_rate": 30.1,
   "format": null,
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2012",
   "edition": null,
   "title": "International Conference on Formal Engineering Methods",
   "url": null,
   "page": "https://www.conferences-computer.science/icfem/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": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": 36.0,
   "format": null,
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2014",
   "edition": 16,
   "title": "16th International Conference on Formal Engineering Methods",
   "url": "http://icfem2014.uni.lu",
   "page": "https://www.conferences-computer.science/icfem/2014/",
   "status": null,
   "abstract_deadline": "2014-04-25",
   "paper_deadline": "2014-05-02",
   "paper_deadline_announced": "2014-05-02",
   "paper_extended_days": 0,
   "notification": "2014-06-20",
   "timezone": null,
   "event_start": "2014-11-03",
   "event_end": "2014-11-07",
   "city": "Luxembourg",
   "country": "LU",
   "continent": "EU",
   "lat": 49.6116,
   "lon": 6.1319,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": 30.0,
   "format": "16 pages LNCS",
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2015",
   "edition": 17,
   "title": "17th International Conference on Formal Engineering Methods",
   "url": "http://icfem2015.lri.fr/",
   "page": "https://www.conferences-computer.science/icfem/2015/",
   "status": null,
   "abstract_deadline": "2015-04-26",
   "paper_deadline": "2015-05-03",
   "paper_deadline_announced": "2015-05-03",
   "paper_extended_days": 0,
   "notification": "2015-06-30",
   "timezone": null,
   "event_start": "2015-11-03",
   "event_end": "2015-11-06",
   "city": "Paris, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.8566,
   "lon": 2.3522,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 82,
   "accepted": 27,
   "acceptance_rate": 32.9,
   "format": "16 pages LNCS (regular) / 6 pages (tool)",
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2016",
   "edition": 18,
   "title": "18th International Conference on Formal Engineering Methods",
   "url": "http://icfem2016.xyz/",
   "page": "https://www.conferences-computer.science/icfem/2016/",
   "status": null,
   "abstract_deadline": "2016-05-07",
   "paper_deadline": "2016-05-07",
   "paper_deadline_announced": "2016-04-30",
   "paper_extended_days": 7,
   "notification": "2016-06-29",
   "timezone": null,
   "event_start": "2016-11-14",
   "event_end": "2016-11-18",
   "city": "Tōkyō, Japan",
   "country": "JP",
   "continent": "AS",
   "lat": 35.6762,
   "lon": 139.6503,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 64,
   "accepted": 27,
   "acceptance_rate": 42.2,
   "format": "16 pages LNCS",
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2017",
   "edition": 19,
   "title": "19th International Conference on Formal Engineering Methods",
   "url": "http://ictt.xidian.edu.cn/icfem2017/",
   "page": "https://www.conferences-computer.science/icfem/2017/",
   "status": null,
   "abstract_deadline": "2017-05-07",
   "paper_deadline": "2017-05-14",
   "paper_deadline_announced": "2017-05-07",
   "paper_extended_days": 7,
   "notification": "2017-06-29",
   "timezone": null,
   "event_start": "2017-11-13",
   "event_end": "2017-11-17",
   "city": "Xi’An, China",
   "country": "CN",
   "continent": "AS",
   "lat": 34.3416,
   "lon": 108.9398,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 80,
   "accepted": 28,
   "acceptance_rate": 35.0,
   "format": "16 pages LNCS",
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2018",
   "edition": 20,
   "title": "20th International Conference on Formal Engineering Methods",
   "url": "http://formal-analysis.com/icfem/2018/",
   "page": "https://www.conferences-computer.science/icfem/2018/",
   "status": null,
   "abstract_deadline": "2018-05-21",
   "paper_deadline": "2018-05-21",
   "paper_deadline_announced": "2018-05-14",
   "paper_extended_days": 7,
   "notification": "2018-06-29",
   "timezone": null,
   "event_start": "2018-11-12",
   "event_end": "2018-11-16",
   "city": "Gold Coast, Australia",
   "country": "AU",
   "continent": "OC",
   "lat": -28.0167,
   "lon": 153.4,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 66,
   "accepted": 22,
   "acceptance_rate": 33.3,
   "format": "16 pages LNCS",
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2019",
   "edition": 21,
   "title": "21st International Conference on Formal Engineering Methods",
   "url": "http://csse.szu.edu.cn/icfem2019/",
   "page": "https://www.conferences-computer.science/icfem/2019/",
   "status": null,
   "abstract_deadline": "2019-06-11",
   "paper_deadline": "2019-06-18",
   "paper_deadline_announced": "2019-05-21",
   "paper_extended_days": 28,
   "notification": "2019-07-06",
   "timezone": null,
   "event_start": "2019-11-05",
   "event_end": "2019-11-09",
   "city": "Shenzhen, China",
   "country": "CN",
   "continent": "AS",
   "lat": 22.5431,
   "lon": 114.0579,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS",
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2020",
   "edition": 22,
   "title": "22nd International Conference on Formal Engineering Methods",
   "url": "https://formal-analysis.com/icfem/2020/",
   "page": "https://www.conferences-computer.science/icfem/2020/",
   "status": null,
   "abstract_deadline": "2020-05-17",
   "paper_deadline": "2020-05-17",
   "paper_deadline_announced": "2020-05-01",
   "paper_extended_days": 16,
   "notification": "2020-07-05",
   "timezone": "AoE",
   "event_start": "2020-11-02",
   "event_end": "2020-11-06",
   "city": "Singapore",
   "country": "SG",
   "continent": "AS",
   "lat": 1.3521,
   "lon": 103.8198,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS",
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2022",
   "edition": 23,
   "title": "23rd International Conference on Formal Engineering Methods",
   "url": "http://maude.ucm.es/ICFEM22/",
   "page": "https://www.conferences-computer.science/icfem/2022/",
   "status": null,
   "abstract_deadline": "2022-05-07",
   "paper_deadline": "2022-05-07",
   "paper_deadline_announced": "2022-04-17",
   "paper_extended_days": 20,
   "notification": "2022-07-26",
   "timezone": "AoE",
   "event_start": "2022-10-24",
   "event_end": "2022-10-27",
   "city": "Madrid, Spain",
   "country": "ES",
   "continent": "EU",
   "lat": 40.4168,
   "lon": -3.7038,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 61,
   "accepted": 23,
   "acceptance_rate": 37.7,
   "format": "16 pages LNCS",
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2023",
   "edition": 24,
   "title": "24th International Conference on Formal Engineering Methods",
   "url": "https://formal-analysis.com/icfem/2023/",
   "page": "https://www.conferences-computer.science/icfem/2023/",
   "status": null,
   "abstract_deadline": "2023-05-21",
   "paper_deadline": "2023-05-28",
   "paper_deadline_announced": "2023-05-21",
   "paper_extended_days": 7,
   "notification": "2023-07-30",
   "timezone": "AoE",
   "event_start": "2023-11-22",
   "event_end": "2023-11-24",
   "city": "Brisbane, Australia",
   "country": "AU",
   "continent": "OC",
   "lat": -27.4698,
   "lon": 153.0251,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": 34,
   "accepted": 13,
   "acceptance_rate": 38.2,
   "format": "16 pages LNCS",
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2024",
   "edition": 25,
   "title": "25th International Conference on Formal Engineering Methods",
   "url": "https://icfem2024.info/",
   "page": "https://www.conferences-computer.science/icfem/2024/",
   "status": null,
   "abstract_deadline": "2024-06-24",
   "paper_deadline": "2024-07-08",
   "paper_deadline_announced": "2024-06-24",
   "paper_extended_days": 14,
   "notification": "2024-09-09",
   "timezone": "AoE",
   "event_start": "2024-12-02",
   "event_end": "2024-12-06",
   "city": "Hiroshima, Japan",
   "country": "JP",
   "continent": "AS",
   "lat": 34.3853,
   "lon": 132.4553,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": 50,
   "accepted": 22,
   "acceptance_rate": 44.0,
   "format": "18 pages LNCS (regular paper) + 2 pages (references/appendix) / 12 pages (short) including references",
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2025",
   "edition": 26,
   "title": "26th International Conference on Formal Engineering Methods",
   "url": "https://icfem2025.github.io/",
   "page": "https://www.conferences-computer.science/icfem/2025/",
   "status": null,
   "abstract_deadline": "2025-06-11",
   "paper_deadline": "2025-06-15",
   "paper_deadline_announced": "2025-06-01",
   "paper_extended_days": 14,
   "notification": "2025-08-01",
   "timezone": "AoE",
   "event_start": "2025-11-10",
   "event_end": "2025-11-13",
   "city": "Hangzhou, China",
   "country": "CN",
   "continent": "AS",
   "lat": 30.2741,
   "lon": 120.1551,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + bibliography (regular paper)",
   "dblp": "icfem"
  },
  {
   "slug": "icfem",
   "acronym": "ICFEM",
   "year": "2026",
   "edition": 27,
   "title": "27th International Conference on Formal Engineering Methods",
   "url": "https://icfem2026.github.io/",
   "page": "https://www.conferences-computer.science/icfem/2026/",
   "status": null,
   "abstract_deadline": "2026-06-22",
   "paper_deadline": "2026-06-22",
   "paper_deadline_announced": "2026-06-08",
   "paper_extended_days": 14,
   "notification": "2026-08-08",
   "timezone": "AoE",
   "event_start": "2026-11-17",
   "event_end": "2026-11-20",
   "city": "Southampton, England",
   "country": "GB",
   "continent": "EU",
   "lat": 50.9097,
   "lon": -1.4044,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + bibliography (regular paper)",
   "dblp": "icfem"
  }
 ]
}