### Accepted talks

Accepted talks, ordered alphabetically

- Loredana Afanasiev and Balder ten Cate. On core XPath with
inflationary fixed points
- Lars Birkedal, Kristian Støvring and Jacob Thamsborg. Solutions of
generalized recursive metric-space equations
- Stephen L. Bloom and Zoltán Ésik. Scattered algebraic linear
orderings
- Balder ten Cate and Gaëlle Fontaine. An easy completeness proof for
the modal μ-calculus on finite trees
- Pierre Clairambault. Least and greatest fixpoints in game semantics
- Martin Hofmann and Dulma Rodriguez. Membership checking in greatest
fixpoints revisited
- Stephan Kreutzer and Martin Lange. A note on the relation between
inflationary fixpoints and least fixpoints of higher order
- Robert Myers. Regular expressions and the coalgebraic μ-calculus
- Omer Landry Nguena Timo and Pierre-Alain Reynier. On characteristic
formulae for event-recording automata
- Milad Niqui and Jan Rutten. Coinductive predicates as final
coalgebras
- Pawel Parys. Lower bound for evaluation of μ-ν fixpoint
- Daniel Stamate. A bilattice based fixed point semantics for
integrating imperfect information
- Kohtaro Tadaki. Fixed points on partial randomness
- Yoshinori Tanabe and Masami Hagiya. Fixed-point computations over
functions on integers with operations min, max and plus
- Lionel Vaux. A non-uniform finitary relational semantics of system T

Tarmo Uustalu

Last update 24 July 2009