The 24th International Conference on Formal Methods for Industrial Critical Systems will take place in Amsterdam, the Netherlands on 30-31 August.
The aim of FMICS is to bring 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.