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