ERCIM News 131
October 2022
Special theme Ethical Software Engineering and Ethically Aligned Design
Guest editors Georgia Kapitsaki (University of Cyprus) and Erwin Schoitsch (Austrian Institute of Technology AIT)
- Details
- Category: Joint ERCIM Actions
- Hits: 3162
by Maurice ter Beek
The yearly conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, FMICS, the key conference at the intersection of industrial applications and formal methods, reached its 27th edition this year. Moreover, after two years online, this year’s participants met in Warsaw, Poland, on 14 and 15 September.
- Details
- Category: Joint ERCIM Actions
- Hits: 2790
The ERCIM Evaluation Committee for the Cor Baayen Young Researcher Award unanimously selected Fabio Carrara from ISTI-CNR as the winner for 2022. An honorary mention was given to Cédric Colas from Inria.