CMCS 2026 Accepted Papers

Full Papers

• Tomáš Jakl and Luca Reggio. On Axioms of Arboreal Categories
• Todd Schmid. Coalgebraic Path Constraints
• Pedro H. Azevedo de Amorim, Mayuko Kori and Koko Muroya. A Framework for Coalgebraic Reward-Sensitive Bisimulation
• Rodrigo Nicolau Almeida, Nick Bezhanishvili and Sarah Dukic. Coalgebraic Semantics for Fischer Servi Intuitionistic Modal Logic
• Florian Frank, Stefan Milius, Jurriaan Rot and Henning Urbat. Learning Automata with Name Allocation
• Ryota Kojima and Corina Cirstea. Coalgebraic Semantics for Two-agent ATL and its Meta-level Model-checking Complexity
• Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild. The Only Distributive Law Over the Powerset Monad Is the One You Know

Short Contributions

• Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat and Stefano Volpe. Locally Final Coalgebras in Denotational Semantics
• Paul Wang. Sheaves on categories of coalgebras
• Chun-Yu Lin. Many-valued Coalgebraic Lindstrom's Theorem
• Benjamin Plummer and Corina Cirstea. Infinite Strategies in Two-Player Games
• Jonas Forster, Lutz Schröder, Paul Wild, Barbara König and Pedro Nora. Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
• Cass Alexandru, Henning Urbat and Thorsten Wißmann. Intrinsically Correct Algorithms and Recursive Coalgebras