News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

9 - 11 September 2024, 29th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2024), Milan, Italy

Date: 9 - 11 September 2024
Location: Milan, Italy
Deadline: Thursday 25 April 2024

The aim of the FMICS conference series is to provide a forum for researchers and practitioners who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

FMICS 2024 is co-located with FM 2024 and will be held at Politecnico di Milano in Milan, Italy.

Papers must describe original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference, or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated.

Submissions should clearly motivate relevance to industrial applications. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages (excluding references) formatted according to the Springer author guidelines LNCS style. Papers must be written in English.

For more information, see https://fmics.inria.fr/2024 or contact Anne Haxthausen at , or Wendelin Serwe: at .

Please note that this newsitem has been archived, and may contain outdated information or links.