• Axel Haddad. IO vs OI in higher-order recursion schemes
  • Grigori Mints and Thomas Studer. Cut-elimination for the mu-calculus with one variable
  • AndrĂ© Hirschowitz and Marco Maggesi. Initial Semantics for Strengthened Signatures
  • Martin Lange and Etienne Lozes. Model-Checking the Higher-Dimensional Modal mu-Calculus
  • Anna Ingolfsdottir and Luca Aceto. Characteristic formulae for relations with nested fixed points
  • Tarmo Uustalu. Structured general corecursion and coinductive graphs