FOCUS - 2011 - Annual activity report

FOCUS

Project Team Focus

Overall Objectives

Scientific Foundations

Application Domains

Software

New Results

Partnerships and Cooperations

Dissemination

Bibliography

Section: Dissemination

Third International Spring School on Computational Logic, 10-15 April 2011, Bertinoro, Italy
The Oregon Programming Languages Summer School (OPLSS) has been held at the University of Oregon each summer since 2002. The focus of the 2011 edition has been in the mix or interplay of theory and practice in program verification. The 2011 edition featured 14 lecturers and 94 students. Marco Gaboardi has been involved in the organisation.
XXIV Incontro di Logica (AILA 2011), Bologna; February 2-4, 2011. The series of "Incontri di Logica" offers researchers in mathematics, philosophy of science and computer science an arena to discuss all aspects of mathematical logic which relate to their research. The 2011 edition held in Bologna has welcomed about 100 participants mainly from Italy.