{
 "generated": "2026-08-13T11:47:39.377382+00:00",
 "source": "https://www.conferences-computer.science/ifm/",
 "licence": "CC BY-SA 4.0",
 "acronym": "iFM",
 "name": "International Conference on integrated Formal Methods",
 "count": 12,
 "editions": [
  {
   "slug": "ifm",
   "acronym": "iFM",
   "year": "2012",
   "edition": null,
   "title": "International Conference on integrated Formal Methods",
   "url": null,
   "page": "https://www.conferences-computer.science/ifm/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": 37.0,
   "format": null,
   "dblp": "ifm"
  },
  {
   "slug": "ifm",
   "acronym": "iFM",
   "year": "2013",
   "edition": null,
   "title": "International Conference on integrated Formal Methods",
   "url": null,
   "page": "https://www.conferences-computer.science/ifm/2013/",
   "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": 25.0,
   "format": null,
   "dblp": "ifm"
  },
  {
   "slug": "ifm",
   "acronym": "iFM",
   "year": "2014",
   "edition": 11,
   "title": "11th International Conference on integrated Formal Methods",
   "url": "http://ifm2014.cs.unibo.it/",
   "page": "https://www.conferences-computer.science/ifm/2014/",
   "status": null,
   "abstract_deadline": "2014-04-17",
   "paper_deadline": "2014-04-25",
   "paper_deadline_announced": "2014-04-25",
   "paper_extended_days": 0,
   "notification": "2014-06-06",
   "timezone": null,
   "event_start": "2014-09-09",
   "event_end": "2014-09-11",
   "city": "Bertinoro, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 44.1467,
   "lon": 12.135,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS",
   "dblp": "ifm"
  },
  {
   "slug": "ifm",
   "acronym": "iFM",
   "year": "2016",
   "edition": 12,
   "title": "12th International Conference on integrated Formal Methods",
   "url": "http://en.ru.is/ifm/",
   "page": "https://www.conferences-computer.science/ifm/2016/",
   "status": null,
   "abstract_deadline": "2016-01-06",
   "paper_deadline": "2016-01-13",
   "paper_deadline_announced": "2016-01-13",
   "paper_extended_days": 0,
   "notification": "2016-02-29",
   "timezone": null,
   "event_start": "2016-06-01",
   "event_end": "2016-06-04",
   "city": "Reykjavík, Iceland",
   "country": "IS",
   "continent": "EU",
   "lat": 64.1466,
   "lon": -21.9426,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (research / regular / case study) / 8 pages (short tool)",
   "dblp": "ifm"
  },
  {
   "slug": "ifm",
   "acronym": "iFM",
   "year": "2017",
   "edition": 13,
   "title": "13th International Conference on integrated Formal Methods",
   "url": "http://ifm2017.di.unito.it/",
   "page": "https://www.conferences-computer.science/ifm/2017/",
   "status": null,
   "abstract_deadline": "2017-04-20",
   "paper_deadline": "2017-04-27",
   "paper_deadline_announced": "2017-04-04",
   "paper_extended_days": 23,
   "notification": "2017-06-02",
   "timezone": null,
   "event_start": "2017-09-20",
   "event_end": "2017-09-22",
   "city": "Turin, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 45.0703,
   "lon": 7.6869,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (research / regular / case study) / 8 pages (short tool)",
   "dblp": "ifm"
  },
  {
   "slug": "ifm",
   "acronym": "iFM",
   "year": "2018",
   "edition": 14,
   "title": "14th International Conference on integrated Formal Methods",
   "url": "https://ifm2018.cs.nuim.ie/",
   "page": "https://www.conferences-computer.science/ifm/2018/",
   "status": null,
   "abstract_deadline": "2018-04-25",
   "paper_deadline": "2018-05-02",
   "paper_deadline_announced": "2018-04-20",
   "paper_extended_days": 12,
   "notification": "2018-06-14",
   "timezone": null,
   "event_start": "2018-09-05",
   "event_end": "2018-09-07",
   "city": "Maynooth, Ireland",
   "country": "IE",
   "continent": "EU",
   "lat": 53.3811,
   "lon": -6.5911,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS (research / regular / case study) / 8 pages (short tool)",
   "dblp": "ifm"
  },
  {
   "slug": "ifm",
   "acronym": "iFM",
   "year": "2019",
   "edition": 15,
   "title": "15th International Conference on integrated Formal Methods",
   "url": "http://ifm2019.hvl.no/",
   "page": "https://www.conferences-computer.science/ifm/2019/",
   "status": null,
   "abstract_deadline": "2019-07-01",
   "paper_deadline": "2019-07-05",
   "paper_deadline_announced": "2019-06-28",
   "paper_extended_days": 7,
   "notification": "2019-09-16",
   "timezone": "AoE",
   "event_start": "2019-12-04",
   "event_end": "2019-12-06",
   "city": "Bergen, Norway",
   "country": "NO",
   "continent": "EU",
   "lat": 60.3913,
   "lon": 5.3221,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS (research / regular / case study) / 8 pages (short tool)",
   "dblp": "ifm"
  },
  {
   "slug": "ifm",
   "acronym": "iFM",
   "year": "2020",
   "edition": 16,
   "title": "16th International Conference on integrated Formal Methods",
   "url": null,
   "page": "https://www.conferences-computer.science/ifm/2020/",
   "status": null,
   "abstract_deadline": "2020-06-15",
   "paper_deadline": "2020-06-22",
   "paper_deadline_announced": "2020-06-22",
   "paper_extended_days": 0,
   "notification": "2020-08-14",
   "timezone": "AoE",
   "event_start": "2020-11-16",
   "event_end": "2020-11-20",
   "city": "Virtual (Lugano, Switzerland)",
   "country": "CH",
   "continent": "EU",
   "lat": 46.0037,
   "lon": 8.9511,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS (research / regular / case study) / 8 pages (short tool)",
   "dblp": "ifm"
  },
  {
   "slug": "ifm",
   "acronym": "iFM",
   "year": "2022",
   "edition": 17,
   "title": "17th International Conference on integrated Formal Methods",
   "url": "https://ifm22.si.usi.ch/",
   "page": "https://www.conferences-computer.science/ifm/2022/",
   "status": null,
   "abstract_deadline": "2022-01-21",
   "paper_deadline": "2022-02-11",
   "paper_deadline_announced": "2022-01-21",
   "paper_extended_days": 21,
   "notification": "2022-03-18",
   "timezone": "AoE",
   "event_start": "2022-06-07",
   "event_end": "2022-06-10",
   "city": "Lugano, Switzerland",
   "country": "CH",
   "continent": "EU",
   "lat": 46.0037,
   "lon": 8.9511,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (research / regular / case study) / 6 pages (short) / journal-first (4 pages)",
   "dblp": "ifm"
  },
  {
   "slug": "ifm",
   "acronym": "iFM",
   "year": "2023",
   "edition": 18,
   "title": "18th International Conference on integrated Formal Methods",
   "url": "https://ifm23.liacs.nl",
   "page": "https://www.conferences-computer.science/ifm/2023/",
   "status": null,
   "abstract_deadline": "2023-06-10",
   "paper_deadline": "2023-06-15",
   "paper_deadline_announced": "2023-06-15",
   "paper_extended_days": 0,
   "notification": "2023-08-10",
   "timezone": "AoE",
   "event_start": "2023-11-13",
   "event_end": "2023-11-15",
   "city": "Leiden, the Netherlands",
   "country": "NL",
   "continent": "EU",
   "lat": 52.1601,
   "lon": 4.497,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (research / regular / case study) / 6 pages (short) / journal-first (4 pages)",
   "dblp": "ifm"
  },
  {
   "slug": "ifm",
   "acronym": "iFM",
   "year": "2024",
   "edition": 19,
   "title": "19th International Conference on integrated Formal Methods",
   "url": "https://ifm2024.cs.manchester.ac.uk/",
   "page": "https://www.conferences-computer.science/ifm/2024/",
   "status": null,
   "abstract_deadline": "2024-06-13",
   "paper_deadline": "2024-06-17",
   "paper_deadline_announced": "2024-06-10",
   "paper_extended_days": 7,
   "notification": "2024-08-05",
   "timezone": "AoE",
   "event_start": "2024-11-13",
   "event_end": "2024-11-15",
   "city": "Manchester, England",
   "country": "GB",
   "continent": "EU",
   "lat": 53.4808,
   "lon": -2.2426,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (research / regular / case study) / 6 pages (short) / journal-first (4 pages)",
   "dblp": "ifm"
  },
  {
   "slug": "ifm",
   "acronym": "iFM",
   "year": "2025",
   "edition": 20,
   "title": "20th International Conference on integrated Formal Methods",
   "url": "https://ifm2025.ens.psl.eu/",
   "page": "https://www.conferences-computer.science/ifm/2025/",
   "status": null,
   "abstract_deadline": "2025-06-13",
   "paper_deadline": "2025-06-20",
   "paper_deadline_announced": "2025-06-06",
   "paper_extended_days": 14,
   "notification": "2025-08-08",
   "timezone": "AoE",
   "event_start": "2025-11-19",
   "event_end": "2025-11-21",
   "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": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (research / regular / case study) / 6 pages (short)",
   "dblp": "ifm"
  }
 ]
}