Invited Speakers

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