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 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.

Next issue: July 2021
Special theme:
"Privacy-Preserving Computation"
Call for the next issue
Image ERCIM News 92 epub
This issue in ePub format
Get the latest issue to your desktop
RSS Feed