Report of the 29th International Conference on Formal Methods for Industrial Critical Systems
by Maurice ter Beek (CNR-ISTI)
The yearly conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, FMICS [L1], the key conference at the intersection of industrial applications and formal methods, reached its 29th edition. This year the participants met in Milan, Italy, during 9-11 September 2024.

The ERCIM fall meetings will be held in the beautiful city of Budapest on 15-16 October 2024, hosted by HUN-REN Institute for Computer Science and Control (HUN-REN SZTAKI). Please save the date for this important event, and we recommend that you book your accommodation as soon as possible. Registration is mandatory for participation in the meetings. We will inform the members when the registration form is available.

The EU-funded project TERMINET has worked on next-generation IoT across six realistic use cases, featuring software-defined networking, edge computing, virtualization, federated learning, augmented, and virtual reality interfaces. For TERMINET, ERCIM focused on standardization, as well as conducting research on moving beyond the limitations of current approaches to knowledge representation and reasoning.