25-27 January, Universidade de Aveiro, Aveiro, Portugal

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

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