Section: Overall Objectives

Highlights

• During the period 2006-2011, the Focus members have had 6 papers in the prestigious conference IEEE Symposium on Logic in Computer Science (LICS).

• Marco Gaboardi has obtained a Marie Curie International Outgoing Fellowship for Career Development. Project title: "Practical Light Types For Resource Consumption" (PLATFORM). Partner: University of Pennsylvania. Bologna scientist in charge : Simone Martini. University of Pennsylvania scientist in charge : Benjamin Pierce. Start Date: 2011-07-25 Duration: 36 months Project Funding: around 220KE.

• Fabrizio Montesi won the Confindustria/CINI italian national prize for one of the best six Master's Theses in Information and Communication Technologies, with the thesis "Jolie: a service-oriented programming language". The contest receives applications from all areas related to ICT, from engineering to computer science.