The aim o f the FMICS conference series is to provide a foru m for researchers and practitioners who are intere sted in the development and application of formal methods in industry. FMICS brings together scienti sts and engineers who are active in the area of fo rmal methods and interested in exchanging their ex periences in the industrial usage of these methods . The FMICS conference series also strives to prom ote research and development for the improvement o f formal methods and tools for industrial applicat ions.
\nFMICS 2024 is co-located with FM 2 024 and will be held at Politecnico di Milano in M ilan, Italy.
\nPapers must de scribe original research work and results. Submitt ed papers must not have previously appeared in a j ournal or conference with published proceedings an d must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference, or archival journal. Any partial overlap with any suc h published or concurrently submitted paper must b e clearly indicated.
\nSubmissions should clearly motivate relevance to industrial applicati ons. Case study papers should identify lessons lea rned, validate theoretical results (such as scalab ility of methods) or provide specific motivation f or further research and development. Papers should not exceed 15 pages (excluding references) format ted according to the Springer author guidelines LN CS style. Papers must be written in English.
\n