Previous | 
Home
Section: Overall Objectives
Highlights of the Year
-
Jacopo Mauro's PhD thesis "Constraints Meet Concurrency" has won the 2013 award for Best Italian PhD Theses in Theoretical Computer Science (track Logics, Semantics and Programming Theory). The prize is awarded by the Italian Chapter of EATCS.
-
Davide Sangiorgi has received the "LICS Test-of-Time" award (this award recognizes a paper from the proceedings of the conference "Logics in Computer Science" from 20 years prior that has best met the "test of time" in term of impact).
-
the EU project Envisage (FP7), on the theme of cloud computing, has been approved and has started its activities.