July 17th, 2009
When : Tuesday July 21th
Where : Ecole Normale Superieure, Cachan, LSV Library
- Petrucio Viana (from Rio de Janeiro): algebras of binary relations and graph calculi
- Gaelle Fontaine (from Amsterdam): a characterization of the continuous fragment of the mu-calculus and/or an easy completeness proof for the mu-calculus on finite trees.
- Balder Ten Cate : on modal definability and universal Horn conditions.