ERCIM has selected Paweł Parys from the University of Warsaw as the winner of the 2012 Cor Baayen Award for a promising young researcher in computer science and applied mathematics. In a tight competition Paweł Parys was chosen from 21 excellent candidates from all over Europe as an exceptionally gifted young researcher.

by Pierre Guisset

ERCIM, together with 13 European partners, has launched PaaSage, a major research initiative with the goal of developing an open and integrated platform to support model based lifecycle management of Cloud applications.

by Alessandro Fantechi, Francesco Flammini and Stefania Gnesi

The ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS), organised a track at the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA’12), held in Crete on 15-18 October 2012, to address the application of formal methods to model and analyze complex systems in the context of Intelligent Transportation Systems.