Invited Speakers

There will be courses by the following invited speakers:

Patrick Baillot (CNRS, ENS Lyon, France)
From linear logic to types for implicit computational complexity
(abstract;slides)

Patrick Blackburn (University of Roskilde, Denmark)
Three Lectures on Hybrid Logic
(abstract; slides Lecture 1, Lecture 2, Lecture 3)

Dirk Hofmann (Universidade de Aveiro, Portugal)
Duality Theory
(abstract;slides)