conferences.computer.science

All conferences / FMICS / 2025

FMICS 2025

30th International Conference on Formal Methods for Industrial Critical Systems

Held25–30 Aug 2025 WhereAarhus 🇩🇰 RankCORE C Website fmics2025.uni-muenster.de ↗
Closed

Submission closed on 11 Apr 2025, after an extension of 7 days.

Submission timeline

  • 4 Apr 2025 Abstract registration AoE 28 Mar 2025 → 4 Apr 2025 +7 days
  • 11 Apr 2025 Full paper AoE 4 Apr 2025 → 11 Apr 2025 +7 days
  • 16 May 2025 Notification
  • 25 Aug 2025 Conference opens

What to submit

Format
15 pages LNCS + references
Proceedings
Springer LNCS — Paywalled, for-profit
Reviewing
Single blind
Awards
A monetary award sponsored by Springer will be given to the authors of the submission selected by the Program Committee as the best paper of FMICS 2025
Chairs and
invited speakers
Mixed genders How this is counted
Journal
The Programme Committee of FMICS 2025 will invite a selection of accepted papers to submit extended versions to a special issue of an international journal
Co-located with
CONCUR 2025
Part of CONFEST with CONCUR and QEST+FORMATS

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at fmics2025.uni-muenster.de. 

We cordially invite you to submit your paper to FMICS 25.



FMICS is co-located with CONFEST 2025 in Aarhus, Denmark taking place between August 25th and August 30th, 2025.



https://FMICS2025.uni-muenster.de



Submission is possible via the Springer System Equinocs: (https://equinocs.springernature.com/service/fmics2025)



Proceedings will be published in the Springer LNCS format. A selection of accepted papers will be invited to submit extended versions to a special issue of an international journal.



Deadlines: (AoE)



Abstract submission: April 4th (extended)

Paper submission: April 11th (extended)

Notification May 16th

Camera-ready version: June 6th



Topics:



·         Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions.

·         Methods, techniques, and tools to support automated analysis, certification, debugging, learning, optimization, and transformation of complex, distributed, real-time, embedded, mobile, and autonomous systems.

·         Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues, tool qualification, and certification).

·         Transfer to industry and impact of adoption of formal methods on the development process and associated costs in industry. Application of formal methods in standardization and industrial forums.





Invited Speakers:



·         Ina Schieferdecker, Independent Researcher on Empowering Testing with AI

·         Arnd Hartmanns, University of Twente, NL on Sound and Modest Approaches to Quantitative Model Checking from Sea to Space

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.