Here is a list of the invited talks:

- Marcello Bonsangue (Leiden): The algebra of regular expressions for polynomial T-coalgebras
- Johan van Benthem (Amsterdam: Modal logic and fixed-points: some new perspectives
- Dietmar Berwanger (Aachen): Fixed points in the quest for consistency
- Giovanna D'Agostino (Udine): Uniform interpolation in modal logics
- Dexter Kozen (Cornell): On the Coalgebraic Theory of Kleene Algebra with Tests
- Giacomo Lenzi (Pisa): On the expressive power of the modal mu-calculus over transitive graphs
- Damian Niwinski (Warszawa): The expressive power of fixed-point alternation
- Thomas Studer (Bern): Syntactic cut-elimination for common knowledge
- Albert Visser (Utrecht) Löb's logic meets the mu-calculus
- Igor Walukiewicz (Bordeaux): Alternation hierarchies
- Thomas Wilke (Kiel): Modal and Temporal Logics for Cryptographic Protocols