Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic Weakest Precondition Semantics from Monads Enriched with Order -- Coalgebraic Multigames -- How to Kill Epsilons with a Dagger -- On Coalgebras with Internal Moves -- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics -- Coalgebraic Simulations and Congruences -- Dijkstra Monads in Monadic Computation -- Categories of Coalgebras with Monadic Homomorphisms -- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata -- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.