Accepted papers

  1. Ulrich Dorsch, Stefan Milius, Lutz Schröder and Thorsten Wißmann. Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
  2. Jiri Adamek, Stefan Milius and Henning Urbat. On Algebras with Effectful Iteration
  3. Alexandre Goy and Jurriaan Rot. (In)finite Trace Equivalence of Probabilistic Transition Systems
  4. Natsuki Urabe and Ichiro Hasuo. Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors
  5. Bart Jacobs, Paul Levy and Jurriaan Rot. Steps and Traces
  6. Frank Feys, Helle Hvid Hansen and Larry Moss. Long-Term Values in Markov Decision Processes, (Co)Algebraically
  7. David Sprunger, Shin-Ya Katsumata, Jeremy Dubut and Ichiro Hasuo. Fibrational Simulations and Quantitative Reasoning
  8. Dusko Pavlovic and Muzamil Yahia. Monoidal computer III: A coalgebraic view of computability and complexity (Extended abstract)
  9. Stefano Berardi and Makoto Tatsuta. Intuitionistic Podelski-Rybalchenko Theorem and Equivalence between Inductive Definitions and Cyclic Proofs
  10. Ulrich Berger and Anton Setzer. Undecidability of Equality for Codata Types