{
 "generated": "2026-08-13T11:47:39.553651+00:00",
 "source": "https://www.conferences-computer.science/sefm/",
 "licence": "CC BY-SA 4.0",
 "acronym": "SEFM",
 "name": "International Conference on Software Engineering and Formal Methods",
 "count": 12,
 "editions": [
  {
   "slug": "sefm",
   "acronym": "SEFM",
   "year": "2015",
   "edition": 13,
   "title": "13th International Conference on Software Engineering and Formal Methods",
   "url": "http://www.cs.york.ac.uk/sefm2015/",
   "page": "https://www.conferences-computer.science/sefm/2015/",
   "status": null,
   "abstract_deadline": "2015-03-13",
   "paper_deadline": "2015-03-20",
   "paper_deadline_announced": "2015-03-20",
   "paper_extended_days": 0,
   "notification": "2015-05-15",
   "timezone": null,
   "event_start": "2015-09-07",
   "event_end": "2015-09-11",
   "city": "York, England",
   "country": "GB",
   "continent": "EU",
   "lat": 53.96,
   "lon": -1.0873,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages (research / tools) / 6 pages (New ideas/Work-in-Progress) LNCS",
   "dblp": "sefm"
  },
  {
   "slug": "sefm",
   "acronym": "SEFM",
   "year": "2016",
   "edition": 14,
   "title": "14th International Conference on Software Engineering and Formal Methods",
   "url": "http://staf2016.conf.tuwien.ac.at/sefm/",
   "page": "https://www.conferences-computer.science/sefm/2016/",
   "status": null,
   "abstract_deadline": "2016-02-22",
   "paper_deadline": "2016-02-29",
   "paper_deadline_announced": "2016-02-29",
   "paper_extended_days": 0,
   "notification": "2016-04-13",
   "timezone": null,
   "event_start": "2016-07-04",
   "event_end": "2016-07-08",
   "city": "Vienna, Austria",
   "country": "AT",
   "continent": "EU",
   "lat": 48.2082,
   "lon": 16.3738,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 88,
   "accepted": 25,
   "acceptance_rate": 28.4,
   "format": "15 pages (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS",
   "dblp": "sefm"
  },
  {
   "slug": "sefm",
   "acronym": "SEFM",
   "year": "2017",
   "edition": 15,
   "title": "15th International Conference on Software Engineering and Formal Methods",
   "url": "http://sefm17.fbk.eu/",
   "page": "https://www.conferences-computer.science/sefm/2017/",
   "status": null,
   "abstract_deadline": "2017-04-06",
   "paper_deadline": "2017-04-13",
   "paper_deadline_announced": "2017-03-31",
   "paper_extended_days": 13,
   "notification": "2017-05-29",
   "timezone": null,
   "event_start": "2017-09-06",
   "event_end": "2017-09-10",
   "city": "Trento, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 46.0748,
   "lon": 11.1217,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS",
   "dblp": "sefm"
  },
  {
   "slug": "sefm",
   "acronym": "SEFM",
   "year": "2018",
   "edition": 16,
   "title": "16th International Conference on Software Engineering and Formal Methods",
   "url": "https://www.isf.cs.tu-bs.de/cms/events/sefm2018/",
   "page": "https://www.conferences-computer.science/sefm/2018/",
   "status": null,
   "abstract_deadline": "2018-03-02",
   "paper_deadline": "2018-03-09",
   "paper_deadline_announced": "2018-03-02",
   "paper_extended_days": 7,
   "notification": "2018-04-09",
   "timezone": null,
   "event_start": "2018-06-27",
   "event_end": "2018-06-29",
   "city": "Toulouse, France",
   "country": "FR",
   "continent": "EU",
   "lat": 43.6047,
   "lon": 1.4442,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS",
   "dblp": "sefm"
  },
  {
   "slug": "sefm",
   "acronym": "SEFM",
   "year": "2019",
   "edition": 17,
   "title": "17th International Conference on Software Engineering and Formal Methods",
   "url": "http://sefm2019.inria.fr",
   "page": "https://www.conferences-computer.science/sefm/2019/",
   "status": null,
   "abstract_deadline": "2019-05-13",
   "paper_deadline": "2019-05-20",
   "paper_deadline_announced": "2019-05-10",
   "paper_extended_days": 10,
   "notification": "2019-06-25",
   "timezone": "AoE",
   "event_start": "2019-09-16",
   "event_end": "2019-09-20",
   "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": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages + bibliography (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS",
   "dblp": "sefm"
  },
  {
   "slug": "sefm",
   "acronym": "SEFM",
   "year": "2020",
   "edition": 18,
   "title": "18th International Conference on Software Engineering and Formal Methods",
   "url": "https://event.cwi.nl/sefm2020/",
   "page": "https://www.conferences-computer.science/sefm/2020/",
   "status": null,
   "abstract_deadline": "2020-05-24",
   "paper_deadline": "2020-05-31",
   "paper_deadline_announced": "2020-05-04",
   "paper_extended_days": 27,
   "notification": "2020-06-26",
   "timezone": "AoE",
   "event_start": "2020-09-14",
   "event_end": "2020-09-18",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages + bibliography (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS",
   "dblp": "sefm"
  },
  {
   "slug": "sefm",
   "acronym": "SEFM",
   "year": "2021",
   "edition": 19,
   "title": "19th International Conference on Software Engineering and Formal Methods",
   "url": "https://sefm-conference.github.io",
   "page": "https://www.conferences-computer.science/sefm/2021/",
   "status": null,
   "abstract_deadline": "2021-07-19",
   "paper_deadline": "2021-07-23",
   "paper_deadline_announced": "2021-07-23",
   "paper_extended_days": 0,
   "notification": "2021-09-24",
   "timezone": "AoE",
   "event_start": "2021-12-06",
   "event_end": "2021-12-10",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages + bibliography (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS",
   "dblp": "sefm"
  },
  {
   "slug": "sefm",
   "acronym": "SEFM",
   "year": "2022",
   "edition": 20,
   "title": "20th International Conference on Software Engineering and Formal Methods",
   "url": "https://sefm-conference.github.io/2022/",
   "page": "https://www.conferences-computer.science/sefm/2022/",
   "status": null,
   "abstract_deadline": "2022-06-20",
   "paper_deadline": "2022-06-26",
   "paper_deadline_announced": "2022-06-26",
   "paper_extended_days": 0,
   "notification": "2022-08-07",
   "timezone": "AoE",
   "event_start": "2022-09-28",
   "event_end": "2022-09-30",
   "city": "Berlin, Germany (or online)",
   "country": "DE",
   "continent": "EU",
   "lat": 52.52,
   "lon": 13.405,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 62,
   "accepted": 22,
   "acceptance_rate": 35.5,
   "format": "15 pages + bibliography (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS",
   "dblp": "sefm"
  },
  {
   "slug": "sefm",
   "acronym": "SEFM",
   "year": "2023",
   "edition": 21,
   "title": "21st International Conference on Software Engineering and Formal Methods",
   "url": "https://sefm-conference.github.io/2023/",
   "page": "https://www.conferences-computer.science/sefm/2023/",
   "status": null,
   "abstract_deadline": "2023-06-02",
   "paper_deadline": "2023-06-09",
   "paper_deadline_announced": "2023-06-09",
   "paper_extended_days": 0,
   "notification": "2023-08-18",
   "timezone": "AoE",
   "event_start": "2023-11-08",
   "event_end": "2023-11-10",
   "city": "Eindhoven, The Netherlands",
   "country": "NL",
   "continent": "EU",
   "lat": 51.4416,
   "lon": 5.4697,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 41,
   "accepted": 20,
   "acceptance_rate": 48.8,
   "format": "15 pages + bibliography (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS",
   "dblp": "sefm"
  },
  {
   "slug": "sefm",
   "acronym": "SEFM",
   "year": "2024",
   "edition": 22,
   "title": "22nd International Conference on Software Engineering and Formal Methods",
   "url": "https://sefm-conference.github.io/2024/",
   "page": "https://www.conferences-computer.science/sefm/2024/",
   "status": null,
   "abstract_deadline": "2024-06-28",
   "paper_deadline": "2024-06-28",
   "paper_deadline_announced": "2024-06-14",
   "paper_extended_days": 14,
   "notification": "2024-08-22",
   "timezone": "AoE",
   "event_start": "2024-11-04",
   "event_end": "2024-11-08",
   "city": "Aveiro, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 40.6405,
   "lon": -8.6538,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 68,
   "accepted": 23,
   "acceptance_rate": 33.8,
   "format": "16 pages + 2p bibliography (regular) / 8 pages (tool) LNCS",
   "dblp": "sefm"
  },
  {
   "slug": "sefm",
   "acronym": "SEFM",
   "year": "2025",
   "edition": 23,
   "title": "23rd International Conference on Software Engineering and Formal Methods",
   "url": "https://sefm-conference.github.io/2025/",
   "page": "https://www.conferences-computer.science/sefm/2025/",
   "status": null,
   "abstract_deadline": "2025-06-16",
   "paper_deadline": "2025-06-23",
   "paper_deadline_announced": "2025-06-20",
   "paper_extended_days": 3,
   "notification": "2025-08-11",
   "timezone": "AoE",
   "event_start": "2025-11-10",
   "event_end": "2025-11-14",
   "city": "Toledo, Spain",
   "country": "ES",
   "continent": "EU",
   "lat": 39.8628,
   "lon": -4.0273,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages + 2p bibliography (regular) / 8 pages (short/tool) LNCS",
   "dblp": "sefm"
  },
  {
   "slug": "sefm",
   "acronym": "SEFM",
   "year": "2026",
   "edition": 24,
   "title": "24th International Conference on Software Engineering and Formal Methods",
   "url": "https://sefm-conference.github.io/2026/",
   "page": "https://www.conferences-computer.science/sefm/2026/",
   "status": null,
   "abstract_deadline": "2026-06-23",
   "paper_deadline": "2026-06-30",
   "paper_deadline_announced": "2026-06-23",
   "paper_extended_days": 7,
   "notification": "2026-08-30",
   "timezone": "AoE",
   "event_start": "2026-11-23",
   "event_end": "2026-11-27",
   "city": "Malta",
   "country": "MT",
   "continent": "EU",
   "lat": 35.8989,
   "lon": 14.5146,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages + 2p bibliography (regular) / 8 pages (short/tool) LNCS",
   "dblp": "sefm"
  }
 ]
}