Thessaloniki, Greece, 14 – 15 April 2018

Accepted papers

Regular 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

Short Contributions

  1. Sergey Goncharov, Lutz Schröder, Christoph Rauch and Maciej Piróg. On Retracts of Algebras with Iteration
  2. Tomasz Brengos. A coalgebraic take on regular and $\omega$-regular behaviour for systems with internal moves
  3. Henning Basold. Recursive Proofs for Coinductive Predicates in Fibrations
  4. Aleks Kissinger, Juriaan Rot and Henning Basold. Causality, quantum channels, and Mealy machines