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