Liverpool, UK, 2-4 September 2026
FMICS is the annual conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, and it is the key conference in the intersection of industrial applications and Formal Methods.
A joint Informatics Europe / ERCIM Working Group on Software Research has published the position paper “Reclaiming Software Engineering as the Enabling Technology for the Digital Age.” The paper argues that software engineering must be recognised as a foundational enabling technology underpinning advances across artificial intelligence, data-driven systems, cyber-physical systems, and digital infrastructures.
Read more: Position Paper: Reclaiming Software Engineering as a Key Enabler of the Digital Age
Dr Miriam Santos, Assistant Professor at the University of Porto, has been awarded the 2025 Cor Baayen Award for her outstanding research in data quality and ethical AI.
The ERCIM Activity Report 2024 has been published and is accessible online. The report provides an overview of ERCIM’s activities, governance, scientific projects, working groups, and events during 2024.
The document can be downloaded from:
https://www.ercim.eu/images/stories/pub/AR24.pdf
Readers interested in ERCIM’s ongoing research efforts and collaborations are encouraged to consult the report for detailed information.
The final report from the AIOTI Workshop on Semantic Interoperability for Digital Twins, held on 5–6 February 2025 and hosted by ERCIM in Sophia Antipolis, is now available online.
This comprehensive document captures key discussions, recommendations, and insights from leading experts on enabling semantic interoperability in industrial and environmental digital twin systems. The workshop, supported by Inria and the Horizon Europe projects Nephele and SmartEdge, emphasized practical solutions, best practices, and emerging tools in the field.