{
 "generated": "2026-08-13T11:47:39.300471+00:00",
 "source": "https://www.conferences-computer.science/fmics/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FMICS",
 "name": "International Conference on Formal Methods for Industrial Critical Systems",
 "count": 12,
 "editions": [
  {
   "slug": "fmics",
   "acronym": "FMICS",
   "year": "2015",
   "edition": 20,
   "title": "20th International Workshop on Formal Methods for Industrial Critical Systems",
   "url": "http://fmics2015.org/",
   "page": "https://www.conferences-computer.science/fmics/2015/",
   "status": null,
   "abstract_deadline": "2015-01-19",
   "paper_deadline": "2015-01-26",
   "paper_deadline_announced": "2015-01-26",
   "paper_extended_days": 0,
   "notification": "2015-03-13",
   "timezone": null,
   "event_start": "2015-06-22",
   "event_end": "2015-06-23",
   "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": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS",
   "dblp": "fmics"
  },
  {
   "slug": "fmics",
   "acronym": "FMICS",
   "year": "2016",
   "edition": 21,
   "title": "21st International Conference on Formal Methods for Industrial Critical Systems",
   "url": null,
   "page": "https://www.conferences-computer.science/fmics/2016/",
   "status": "joint",
   "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": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": null,
   "dblp": "fmics"
  },
  {
   "slug": "fmics",
   "acronym": "FMICS",
   "year": "2017",
   "edition": 22,
   "title": "22nd International Conference on Formal Methods for Industrial Critical Systems",
   "url": null,
   "page": "https://www.conferences-computer.science/fmics/2017/",
   "status": "joint",
   "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": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": null,
   "dblp": "fmics"
  },
  {
   "slug": "fmics",
   "acronym": "FMICS",
   "year": "2018",
   "edition": 23,
   "title": "23rd International Conference on Formal Methods for Industrial Critical Systems",
   "url": "http://fmics2018.fi.muni.cz/",
   "page": "https://www.conferences-computer.science/fmics/2018/",
   "status": null,
   "abstract_deadline": "2018-05-07",
   "paper_deadline": "2018-05-11",
   "paper_deadline_announced": "2018-04-27",
   "paper_extended_days": 14,
   "notification": "2018-06-14",
   "timezone": null,
   "event_start": "2018-09-03",
   "event_end": "2018-09-04",
   "city": "Maynooth University, Ireland",
   "country": "IE",
   "continent": "EU",
   "lat": 53.3811,
   "lon": -6.5911,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS",
   "dblp": "fmics"
  },
  {
   "slug": "fmics",
   "acronym": "FMICS",
   "year": "2019",
   "edition": 24,
   "title": "24th International Conference on Formal Methods for Industrial Critical Systems",
   "url": "https://fmics2019.fsa.win.tue.nl/",
   "page": "https://www.conferences-computer.science/fmics/2019/",
   "status": null,
   "abstract_deadline": "2019-05-01",
   "paper_deadline": "2019-05-03",
   "paper_deadline_announced": "2019-04-26",
   "paper_extended_days": 7,
   "notification": "2019-06-05",
   "timezone": null,
   "event_start": "2019-08-30",
   "event_end": "2019-08-31",
   "city": "Amsterdam, The Netherlands",
   "country": "NL",
   "continent": "EU",
   "lat": 52.3676,
   "lon": 4.9041,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + 2p references",
   "dblp": "fmics"
  },
  {
   "slug": "fmics",
   "acronym": "FMICS",
   "year": "2020",
   "edition": 25,
   "title": "25th International Conference on Formal Methods for Industrial Critical Systems",
   "url": "https://fmics20.ait.ac.at/",
   "page": "https://www.conferences-computer.science/fmics/2020/",
   "status": null,
   "abstract_deadline": "2020-05-22",
   "paper_deadline": "2020-05-29",
   "paper_deadline_announced": "2020-05-15",
   "paper_extended_days": 14,
   "notification": "2020-07-01",
   "timezone": null,
   "event_start": "2020-09-02",
   "event_end": "2020-09-03",
   "city": "Virtual (Vienna, Austria)",
   "country": "AT",
   "continent": "EU",
   "lat": 48.2082,
   "lon": 16.3738,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + 2p references",
   "dblp": "fmics"
  },
  {
   "slug": "fmics",
   "acronym": "FMICS",
   "year": "2021",
   "edition": 26,
   "title": "26th International Conference on Formal Methods for Industrial Critical Systems",
   "url": "https://qonfest2021.lacl.fr/fmics21.php",
   "page": "https://www.conferences-computer.science/fmics/2021/",
   "status": null,
   "abstract_deadline": "2021-05-07",
   "paper_deadline": "2021-05-14",
   "paper_deadline_announced": "2021-05-14",
   "paper_extended_days": 0,
   "notification": "2021-06-28",
   "timezone": "AoE",
   "event_start": "2021-08-23",
   "event_end": "2021-08-27",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + 2p references",
   "dblp": "fmics"
  },
  {
   "slug": "fmics",
   "acronym": "FMICS",
   "year": "2022",
   "edition": 27,
   "title": "27th International Conference on Formal Methods for Industrial Critical Systems",
   "url": "https://fmics2022.fsa.win.tue.nl/",
   "page": "https://www.conferences-computer.science/fmics/2022/",
   "status": null,
   "abstract_deadline": "2022-05-05",
   "paper_deadline": "2022-05-26",
   "paper_deadline_announced": "2022-05-12",
   "paper_extended_days": 14,
   "notification": "2022-06-24",
   "timezone": "AoE",
   "event_start": "2022-09-14",
   "event_end": "2022-09-16",
   "city": "Warsaw, Poland (hybrid)",
   "country": "PL",
   "continent": "EU",
   "lat": 52.2297,
   "lon": 21.0122,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": 22,
   "accepted": 13,
   "acceptance_rate": 59.1,
   "format": "15 pages LNCS + 2p references",
   "dblp": "fmics"
  },
  {
   "slug": "fmics",
   "acronym": "FMICS",
   "year": "2023",
   "edition": 28,
   "title": "28th International Conference on Formal Methods for Industrial Critical Systems",
   "url": "https://www.uantwerpen.be/en/conferences/confest-2023/fmics/",
   "page": "https://www.conferences-computer.science/fmics/2023/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2023-05-28",
   "paper_deadline_announced": "2023-05-15",
   "paper_extended_days": 13,
   "notification": "2023-07-21",
   "timezone": "AoE",
   "event_start": "2023-09-20",
   "event_end": "2023-09-22",
   "city": "Antwerp, Belgium",
   "country": "BE",
   "continent": "EU",
   "lat": 51.2194,
   "lon": 4.4025,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": 24,
   "accepted": 14,
   "acceptance_rate": 58.3,
   "format": "15 pages LNCS",
   "dblp": "fmics"
  },
  {
   "slug": "fmics",
   "acronym": "FMICS",
   "year": "2024",
   "edition": 29,
   "title": "29th International Conference on Formal Methods for Industrial Critical Systems",
   "url": "https://fmics.inria.fr/2024",
   "page": "https://www.conferences-computer.science/fmics/2024/",
   "status": null,
   "abstract_deadline": "2024-05-04",
   "paper_deadline": "2024-05-08",
   "paper_deadline_announced": "2024-05-01",
   "paper_extended_days": 7,
   "notification": "2024-06-10",
   "timezone": "AoE",
   "event_start": "2024-09-09",
   "event_end": "2024-09-11",
   "city": "Milan, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 45.4642,
   "lon": 9.19,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": 22,
   "accepted": 14,
   "acceptance_rate": 63.6,
   "format": "15 pages LNCS + references",
   "dblp": "fmics"
  },
  {
   "slug": "fmics",
   "acronym": "FMICS",
   "year": "2025",
   "edition": 30,
   "title": "30th International Conference on Formal Methods for Industrial Critical Systems",
   "url": "https://fmics2025.uni-muenster.de",
   "page": "https://www.conferences-computer.science/fmics/2025/",
   "status": null,
   "abstract_deadline": "2025-04-04",
   "paper_deadline": "2025-04-11",
   "paper_deadline_announced": "2025-04-04",
   "paper_extended_days": 7,
   "notification": "2025-05-16",
   "timezone": "AoE",
   "event_start": "2025-08-25",
   "event_end": "2025-08-30",
   "city": "Aarhus, Denmark",
   "country": "DK",
   "continent": "EU",
   "lat": 56.1629,
   "lon": 10.2039,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + references",
   "dblp": "fmics"
  },
  {
   "slug": "fmics",
   "acronym": "FMICS",
   "year": "2026",
   "edition": 31,
   "title": "31st International Conference on Formal Methods for Industrial Critical Systems",
   "url": "https://confest-2026.github.io/fmics/",
   "page": "https://www.conferences-computer.science/fmics/2026/",
   "status": null,
   "abstract_deadline": "2026-04-10",
   "paper_deadline": "2026-04-17",
   "paper_deadline_announced": "2026-04-17",
   "paper_extended_days": 0,
   "notification": "2026-06-01",
   "timezone": "AoE",
   "event_start": "2026-09-02",
   "event_end": "2026-09-04",
   "city": "Liverpool, England",
   "country": "GB",
   "continent": "EU",
   "lat": 53.4084,
   "lon": -2.9916,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + references",
   "dblp": "fmics"
  }
 ]
}