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 2025 Fall Meetings will be held on 29–30 October 2025 at Inria Rennes University, France.
The programme will include task group meetings, joint sessions with Informatics Europe, strategic discussions, and the ERCIM AISBL General Assembly. The registration form will made available shortly.
https://www.ercim.eu/events/ercim-days/ercim-2025-fall-meetings/
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.