Announcement
Margot Herin, currently a postdoctoral researcher at the Instituto de Telecomunicações in Lisbon, has been named the winner of the 2026 Cor Baayen Early Career Researcher Award. The annual ERCIM award recognises outstanding early-career researchers in computer science and applied mathematics.
by Maurice ter Beek (CNR-ISTI)
The annual conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, FMICS, is the key conference at the intersection of industrial applications and formal methods. This year, the participants met in Liverpool, UK, on 3–4 September 2026.
European researchers, research organisations and companies have presented a joint Strategic Research and Innovation Agenda (SRIA) for the Future of Software in Brussels. The agenda sets out the software capabilities Europe needs to strengthen in the coming years to help shape its digital future.