This event has concluded, but exciting conferences are happening worldwide — explore upcoming events in your field and stay ahead with the latest insights and networking opportunities. Subscribe to our newsletter.
29th International Conference on Formal Methods for Industrial Critical Systems
158 158 people viewed this event.
29th International Conference on Formal Methods for Industrial Critical Systems will be held in Milan, Italy
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.
The event welcomes contributions in all research areas related to: formal methods, industrial case studies.
The conference proceedings will be published by Springer in the LNCS series. Previous FMICS proceedings can be found on SpringerLink.
The deadline for submitting contributions is: May 01, 2024