Accepted Papers

• Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke and Karla Messing: Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
• Victor Iwaniack: Automata in W-Toposes, and General Myhill-Nerode Theorems
• Ryota Kojima, Corina Cirstea, Koko Muroya and Ichiro Hasuo: Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking
• Serge Lechenne, Clovis Eberhart and Ichiro Hasuo: A Compositional Approach to Petri Nets
• Fosco Loregian: Automata and Coalgebras in Categories of Species
• Koko Muroya, Takahiro Sanada and Natsuki Urabe: Preorder-Constrained Simulations for Program Refinement with Effects
• Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen and Joerg Endrullis: Correspondence between Composite Theories and Distributive Laws
• Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya and Ichiro Hasuo: Explicit Hopcroft’s Trick in Categorical Partition Refinement
• Ezra Schoen, Clemens Kupke, Jurriaan Rot and Ruben Turkenburg: A Categorical Approach to Coalgebraic Fixpoint Logic
• Ruben Turkenburg, Harsh Beohar, Clemens Kupke and Jurriaan Rot: Proving Behavioural Apartness

Accepted Short Contributions

• Adriana Balan and Silviu-George Pantelimon: Optics, Functorially
• Filippo Bonchi, Elena Di Lavore and Mario Román: Effectful Trace Semantics: Extended Abstract
• Flavien Breuvart, Quan Long and Vladimir Zamdzhiev: On the Centre of Strong Graded Monads
• Nathan Liittschwager, Stelios Tsampas, Jonathan Castello and Lindsey Kuper: Coinductive Reasoning about CRDT Emulation
• Benjamin Plummer: Finitary Traces in Two-Player Games
• Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada and Ichiro Hasuo: Category Theory for Compositional Verification