| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2025 | Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl). | Thorsten Wimann, Blint Kocsis, Jurriaan Rot, Ruben Turkenburg |
| 2025 | A Coinductive Representation of Computable Functions. | Alvin Tang, Dirk Pattinson |
| 2025 | Cancellative Convex Semilattices. | Ana Sokolova, Harald Woracek |
| 2025 | String Diagrams for Graded Monoidal Theories, with an Application to Imprecise Probability. | Ralph Sarkis, Fabio Zanasi |
| 2025 | Distributive Laws of Monadic Containers. | Chris Purdy, Stefania Damato |
| 2025 | Expressivity of Bisimulation Pseudometrics over Analytic State Spaces. | Daniel Luckhardt, Harsh Beohar, Clemens Kupke |
| 2025 | An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models. | Antonio Lorenzin, Fabio Zanasi |
| 2025 | Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics. | Helle Hvid Hansen, Wolfgang Poiger |
| 2025 | Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk). | Filippo Bonchi, Elena Di Lavore, Mario Romn |
| 2025 | Tape Diagrams for Monoidal Monads. | Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore |
| 2025 | EGGs Are Adhesive! | Roberto Biondo, Davide Castelnovo, Fabio Gadducci |
| 2025 | Active Learning of Upward-Closed Sets of Words ((Co)algebraic pearl). | Quentin Aristote |
| 2025 | Terminal Coalgebras for Finitary Functors. | Jir Admek, Stefan Milius, Lawrence S. Moss |
| 2025 | Pareto Fronts for Compositionally Solving String Diagrams of Parity Games. | Kazuki Watanabe |
| 2025 | Drawing and Recolouring. | Bart Jacobs, Mrk Szles |
| 2025 | Logic Enriched over a Quantale (Invited Talk). | Alexander Kurz |
| 2023 | Generators and Bases for Monadic Closures. | Stefan Zetzsche, Alexandra Silva, Matteo Sammartino |
| 2023 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2023 | Forward and Backward Steps in a Fibration. | Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot |
| 2023 | Interpolation Is (Not Always) Easy to Spoil. | Andrzej Tarlecki |
| 2023 | A Category for Unifying Gaussian Probability and Nondeterminism. | Dario Stein, Richard Samuelson |
| 2023 | The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk). | Jeremy G. Siek |
| 2023 | Fractals from Regular Behaviours. | Todd Schmid, Victoria Noquez, Lawrence S. Moss |
| 2023 | Bisimilar States in Uncertain Structures. | Jurriaan Rot, Thorsten Wimann |