{
 "generated": "2026-08-13T11:47:39.304883+00:00",
 "source": "https://www.conferences-computer.science/formalise/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FormaliSE",
 "name": "International Conference on Formal Methods in Software Engineering",
 "count": 12,
 "editions": [
  {
   "slug": "formalise",
   "acronym": "FormaliSE",
   "year": "2015",
   "edition": 3,
   "title": "3rd FME Workshop on Formal Methods in Software Engineering",
   "url": "http://www.formalise.org/",
   "page": "https://www.conferences-computer.science/formalise/2015/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2015-01-23",
   "paper_deadline_announced": "2015-01-23",
   "paper_extended_days": 0,
   "notification": "2015-02-18",
   "timezone": null,
   "event_start": "2015-05-18",
   "event_end": null,
   "city": "Florence, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 43.7696,
   "lon": 11.2558,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "7 pages ACM",
   "dblp": "icse-formalise"
  },
  {
   "slug": "formalise",
   "acronym": "FormaliSE",
   "year": "2016",
   "edition": 4,
   "title": "4th FME Workshop on Formal Methods in Software Engineering",
   "url": "http://www.formalise.org/",
   "page": "https://www.conferences-computer.science/formalise/2016/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2016-01-29",
   "paper_deadline_announced": "2016-01-22",
   "paper_extended_days": 7,
   "notification": "2016-02-19",
   "timezone": null,
   "event_start": "2016-05-15",
   "event_end": null,
   "city": "Austin, Texas, USA",
   "country": "US",
   "continent": "NA",
   "lat": 30.2672,
   "lon": -97.7431,
   "online": false,
   "publisher": "IEEE/ACM",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "7 pages ACM",
   "dblp": "icse-formalise"
  },
  {
   "slug": "formalise",
   "acronym": "FormaliSE",
   "year": "2017",
   "edition": 5,
   "title": "5th FME Workshop on Formal Methods in Software Engineering",
   "url": "http://www.formalise.org/",
   "page": "https://www.conferences-computer.science/formalise/2017/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2017-01-27",
   "paper_deadline_announced": "2017-01-20",
   "paper_extended_days": 7,
   "notification": "2017-02-17",
   "timezone": null,
   "event_start": "2017-05-27",
   "event_end": null,
   "city": "Buenos Aires, Argentina",
   "country": "AR",
   "continent": "SA",
   "lat": -34.6037,
   "lon": -58.3816,
   "online": false,
   "publisher": "IEEE/ACM",
   "license": "acm",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "7 pages ACM (full papers / case study papers / research ideas)",
   "dblp": "icse-formalise"
  },
  {
   "slug": "formalise",
   "acronym": "FormaliSE",
   "year": "2018",
   "edition": 6,
   "title": "6th FME Workshop on Formal Methods in Software Engineering",
   "url": "http://www.formalise.org/",
   "page": "https://www.conferences-computer.science/formalise/2018/",
   "status": null,
   "abstract_deadline": "2018-01-24",
   "paper_deadline": "2018-01-29",
   "paper_deadline_announced": "2018-01-29",
   "paper_extended_days": 0,
   "notification": "2018-03-04",
   "timezone": null,
   "event_start": "2018-06-02",
   "event_end": null,
   "city": "Gothenburg, Sweden",
   "country": "SE",
   "continent": "EU",
   "lat": 57.7089,
   "lon": 11.9746,
   "online": false,
   "publisher": "IEEE/ACM",
   "license": "acm",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM (full papers / case study papers), 4 pages (research ideas)",
   "dblp": "icse-formalise"
  },
  {
   "slug": "formalise",
   "acronym": "FormaliSE",
   "year": "2019",
   "edition": 7,
   "title": "7th International Conference on Formal Methods in Software Engineering",
   "url": "http://www.formalise.org/",
   "page": "https://www.conferences-computer.science/formalise/2019/",
   "status": null,
   "abstract_deadline": "2019-01-18",
   "paper_deadline": "2019-01-25",
   "paper_deadline_announced": "2019-01-18",
   "paper_extended_days": 7,
   "notification": "2019-03-01",
   "timezone": null,
   "event_start": "2019-05-27",
   "event_end": null,
   "city": "Montréal, Québec, Canada",
   "country": "CA",
   "continent": "NA",
   "lat": 45.5019,
   "lon": -73.5674,
   "online": false,
   "publisher": "IEEE/ACM",
   "license": "acm",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM (full papers / case study papers), 4 pages (research ideas)",
   "dblp": "icse-formalise"
  },
  {
   "slug": "formalise",
   "acronym": "FormaliSE",
   "year": "2020",
   "edition": 8,
   "title": "8th International Conference on Formal Methods in Software Engineering",
   "url": "http://www.formalise.org/",
   "page": "https://www.conferences-computer.science/formalise/2020/",
   "status": null,
   "abstract_deadline": "2020-01-16",
   "paper_deadline": "2020-01-23",
   "paper_deadline_announced": "2020-01-16",
   "paper_extended_days": 7,
   "notification": "2020-03-01",
   "timezone": null,
   "event_start": "2020-05-25",
   "event_end": "2020-05-26",
   "city": "Seoul, South Korea",
   "country": "KR",
   "continent": "AS",
   "lat": 37.5665,
   "lon": 126.978,
   "online": false,
   "publisher": "IEEE/ACM",
   "license": "acm",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM (full papers / case study papers), 4 pages (research ideas)",
   "dblp": "icse-formalise"
  },
  {
   "slug": "formalise",
   "acronym": "FormaliSE",
   "year": "2021",
   "edition": 9,
   "title": "9th International Conference on Formal Methods in Software Engineering",
   "url": "http://www.formalise.org/",
   "page": "https://www.conferences-computer.science/formalise/2021/",
   "status": null,
   "abstract_deadline": "2021-01-05",
   "paper_deadline": "2021-01-12",
   "paper_deadline_announced": "2021-01-12",
   "paper_extended_days": 0,
   "notification": "2021-02-22",
   "timezone": null,
   "event_start": "2021-05-17",
   "event_end": "2021-05-21",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "IEEE/ACM",
   "license": "acm",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM (full papers / case study papers), 4 pages (research ideas)",
   "dblp": "icse-formalise"
  },
  {
   "slug": "formalise",
   "acronym": "FormaliSE",
   "year": "2022",
   "edition": 10,
   "title": "10th International Conference on Formal Methods in Software Engineering",
   "url": "http://www.formalise.org/",
   "page": "https://www.conferences-computer.science/formalise/2022/",
   "status": null,
   "abstract_deadline": "2022-01-13",
   "paper_deadline": "2022-01-27",
   "paper_deadline_announced": "2022-01-20",
   "paper_extended_days": 7,
   "notification": "2022-03-04",
   "timezone": null,
   "event_start": "2022-05-22",
   "event_end": "2022-05-23",
   "city": "Pittsburgh, PA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 40.4406,
   "lon": -79.9959,
   "online": false,
   "publisher": "IEEE/ACM",
   "license": "acm",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM (full papers / case study papers), 4 pages (research ideas)",
   "dblp": "icse-formalise"
  },
  {
   "slug": "formalise",
   "acronym": "FormaliSE",
   "year": "2023",
   "edition": 11,
   "title": "11th International Conference on Formal Methods in Software Engineering",
   "url": "https://formalise2023.github.io/",
   "page": "https://www.conferences-computer.science/formalise/2023/",
   "status": null,
   "abstract_deadline": "2023-01-16",
   "paper_deadline": "2023-01-27",
   "paper_deadline_announced": "2023-01-16",
   "paper_extended_days": 11,
   "notification": "2023-02-21",
   "timezone": null,
   "event_start": "2023-05-14",
   "event_end": "2023-05-15",
   "city": "Pittsburgh, PA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 40.4406,
   "lon": -79.9959,
   "online": false,
   "publisher": "IEEE/ACM",
   "license": "acm",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM (full papers / case study papers), 4 pages (research ideas)",
   "dblp": "icse-formalise"
  },
  {
   "slug": "formalise",
   "acronym": "FormaliSE",
   "year": "2024",
   "edition": 12,
   "title": "12th International Conference on Formal Methods in Software Engineering",
   "url": "https://formalise2024.github.io",
   "page": "https://www.conferences-computer.science/formalise/2024/",
   "status": null,
   "abstract_deadline": "2023-12-01",
   "paper_deadline": "2023-12-08",
   "paper_deadline_announced": "2023-12-08",
   "paper_extended_days": 0,
   "notification": "2024-01-12",
   "timezone": null,
   "event_start": "2024-04-14",
   "event_end": "2024-04-15",
   "city": "Lisbon, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 38.7223,
   "lon": -9.1393,
   "online": false,
   "publisher": "IEEE/ACM",
   "license": "acm",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM + references (full papers / case study papers), 4 pages (research ideas)",
   "dblp": "icse-formalise"
  },
  {
   "slug": "formalise",
   "acronym": "FormaliSE",
   "year": "2025",
   "edition": 13,
   "title": "13th International Conference on Formal Methods in Software Engineering",
   "url": "https://conf.researchr.org/home/Formalise-2025",
   "page": "https://www.conferences-computer.science/formalise/2025/",
   "status": null,
   "abstract_deadline": "2024-11-18",
   "paper_deadline": "2024-11-25",
   "paper_deadline_announced": "2024-11-18",
   "paper_extended_days": 7,
   "notification": "2025-01-13",
   "timezone": null,
   "event_start": "2025-04-27",
   "event_end": "2025-04-28",
   "city": "Ottawa, Ontario, Canada",
   "country": "CA",
   "continent": "NA",
   "lat": 45.4215,
   "lon": -75.6972,
   "online": false,
   "publisher": "IEEE/ACM",
   "license": "acm",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM + references (full papers / case study papers), 4 pages (research ideas)",
   "dblp": "icse-formalise"
  },
  {
   "slug": "formalise",
   "acronym": "FormaliSE",
   "year": "2026",
   "edition": 14,
   "title": "14th International Conference on Formal Methods in Software Engineering",
   "url": "https://conf.researchr.org/home/Formalise-2026",
   "page": "https://www.conferences-computer.science/formalise/2026/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2025-11-06",
   "paper_deadline_announced": "2025-10-23",
   "paper_extended_days": 14,
   "notification": "2026-01-05",
   "timezone": null,
   "event_start": "2026-04-12",
   "event_end": "2026-04-13",
   "city": "Rio de Janeiro, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -22.9068,
   "lon": -43.1729,
   "online": false,
   "publisher": "IEEE/ACM",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM + references (full papers / case study papers), 4 pages (research ideas / extended abstracts)",
   "dblp": "icse-formalise"
  }
 ]
}