Tuesday March 25
09.00 - 09.30Registration and Welcome.
09.30 - 09.35Opening.
09.35 - 10.30Johan van Benthem, Modal logic and fixed-points: some new perspectives.
 Coffee break
11.00 - 12.00Thomas Wilke, Modal and temporal logics for cryptographic protocols.
12.00 - 12.30Gaëlle Fontaine, Continuous fragment of the mu-calculus.
14.00 - 15.00Thomas Studer, Syntactic cut-elimination for common knowledge.
15.00 - 15.30Jose Gaintzarain, Invariant-free clausal temporal resolution.
 Coffee break
16.00 - 16.30Ingmar Meinecke, On the expressive power of a weighted µ-calculus on words .
16.30 - 17.30Marcello Bonsangue, The algebra of regular expressions for polynomial T-coalgebras.
Wednesday March 26
09.30 - 10.30Giacomo Lenzi, On the expressive power of the modal mu-calculus over transitive graphs.
 Coffee break
11.00 - 12.00Dietmar Berwanger, Fixed points in the quest for consistency.
12.00 - 12.30Daisuke Ikegami, Modal fixed-point logic and changing models.
14.00 - 15.00Damian Niwinski, The expressive power of fixed-point alternation.
15.00 - 15.30Jim Cunningham, Epistemic modalities as fixed points.
 Coffee break
16.00 - 16.30Walid Belkhir, The variable hierarchy for the games µ-calculus.
16.30 - 17.30Igor Walukiewicz, Alternation hierarchies.
19.30 - Workshop Dinner
Thursday March 27
10.00 - 11.00Giovanna D'Agostino, Uniform interpolation in modal logics.
 Coffee break
11.30 - 12.00Santocanale/Venema, Axiomatizing modal fixed point connectives.
12.00 - 12.30Stefan Goeller, ICPDL with fixed points and nominals.
14.00 - 15.00Albert Visser, Löb's logic meets the mu-calculus.
15.00 - 15.30Alexei Lisitsa, Logic with temporally accessed iteration over finite structures.
 Coffee break
16.00 - 16.30Luis Menasché, An analysis of syntactic fragments of hybrid CTL with the binder.
16.30 - 17.30Dexter Kozen, On the coalgebraic theory of Kleene algebra with tests.

This document was translated from LATEX by HEVEA.