Liverpool, UK, 2-4 September 2026
FMICS is the annual conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems and the leading forum at the intersection of formal methods research and industrial applications. The conference aims to bring together researchers, practitioners and tool developers interested in the development and deployment of formal methods for safety-critical systems. ERCIM is pleased to sponsor this year's edition.
Malaga, Spain, 4-9 October 2026,
The ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS 2026) will take place in Málaga, Spain, bringing together researchers, practitioners and industry leaders working on model driven engineering, modelling languages, and model-based software and systems engineering. Since 1998, the MODELS conference series has been the leading international forum for advances in modelling methods, languages, tools and applications.
Call for Proposal
Schloss Dagstuhl – Leibniz-Zentrum für Informatik is accepting proposals for scientific seminars/workshops in all areas of computer science, in particular also in connection with other fields.
Call for Participation
The 5th edition of the ERCIM Forum Beyond Compliance on Research Ethics in the Digital Age will take place on 29–30 October 2026 in Porto, Portugal, hosted by INESC TEC.
Call for Participation
Registrations are now open for a one-day Training in Digital Ethics, organised within the Horizon Europe AIOLIA project (Artificial Intelligence in Human Cognition and Behaviour), in which ERCIM is a project partner. The training is delivered by INESC TEC, an ERCIM member institute, and explores the ethical challenges arising from AI systems that shape human decision-making and interaction.
Event report
The kick-off meeting of the ERCIM Working Group “Inclusive Digital Futures: Developing Technology and Culture” took place online on 18 May 2026. The meeting introduced the Working Group’s vision and scope, which focuses on moving beyond isolated institutional initiatives towards a more systematic approach within the Computer Science community to foster inclusion and diversity in both the digital sphere and the broader research and innovation ecosystem.