| 2025 | 11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, University of Strathclyde, UK, June 16-18, 2025 Corina Cîrstea, Alexander Knapp |
| 2025 | A Coinductive Representation of Computable Functions. Alvin Tang, Dirk Pattinson |
| 2025 | Active Learning of Upward-Closed Sets of Words ((Co)algebraic pearl). Quentin Aristote |
| 2025 | An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models. Antonio Lorenzin, Fabio Zanasi |
| 2025 | Cancellative Convex Semilattices. Ana Sokolova, Harald Woracek |
| 2025 | Distributive Laws of Monadic Containers. Chris Purdy, Stefania Damato |
| 2025 | Drawing and Recolouring. Bart Jacobs, Márk Széles |
| 2025 | EGGs Are Adhesive! Roberto Biondo, Davide Castelnovo, Fabio Gadducci |
| 2025 | Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk). Filippo Bonchi, Elena Di Lavore, Mario Román |
| 2025 | Expressivity of Bisimulation Pseudometrics over Analytic State Spaces. Daniel Luckhardt, Harsh Beohar, Clemens Kupke |
| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2025 | Logic Enriched over a Quantale (Invited Talk). Alexander Kurz |
| 2025 | Pareto Fronts for Compositionally Solving String Diagrams of Parity Games. Kazuki Watanabe |
| 2025 | Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics. Helle Hvid Hansen, Wolfgang Poiger |
| 2025 | String Diagrams for Graded Monoidal Theories, with an Application to Imprecise Probability. Ralph Sarkis, Fabio Zanasi |
| 2025 | Tape Diagrams for Monoidal Monads. Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore |
| 2025 | Terminal Coalgebras for Finitary Functors. Jirí Adámek, Stefan Milius, Lawrence S. Moss |
| 2025 | Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl). Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot, Ruben Turkenburg |