ERCIM News 92
January 2013
Special theme Smart Energy Systems
Guest editors Carl Binding (IBM Zurich Research Lab) and Han La Poutré (CWI and Utrecht University)
- Details
- Category: Jont ERCIM Actions
- Hits: 5509
Announcement
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.
- Details
- Category: Jont ERCIM Actions
- Hits: 5123
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.
- Details
- Category: Jont ERCIM Actions
- Hits: 10816
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.