|
|
|
| e-Pub |
Previous | 
Home
Section: Highlights of the Year
Highlights of the Year
Awards
-
Ugo Dal Lago won the 2015 award of `Best Young Researcher in Theoretical Computer Science' given by the Italian Chapter of the EATCS (European Association for Theoretical Computer Science).
-
Ornela Dardha, former Focus PhD student, now at Glasgow University, won the award for `Best Italian 2015 PhD Thesis in Theoretical Computer Science' given by the Italian Chapter of the EATCS.
-
The Focus constraint programming solver, called sunny-cp , won the `2015 MiniZinc Challenge', http://www.minizinc.org/challenge.html , an annual competition of constraint programming solvers in the open category (the most challenging), featuring all the most efficient solvers in the world.
-
Fabrizio Montesi, external collaborator in Focus, won the EAPLS (European Association for Programming Languages and Systems) `Best PhD Dissertation Award 2014'.
Best Paper Award:
[44]A behavioural theory for a π-calculus with preorders, in: Proceedings of 6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015), Teheran, Iran, LNCS, Springer Verlag, April 2015, This paper obtained the best paper award at the conference FSEN'2015. A revised version of this paper has been published in JLAMP (Journal of Logical and Algebraic Methods in Programming), Volume 84, Issue 6, November 2015, Pages 806–825. 2014.
https://hal.archives-ouvertes.fr/hal-01246094