Section: Dissemination

Organisation of events

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