| 2023 | A Tour on Ecumenical Systems (Invited Talk). | Elaine Pimentel, Luiz Carlos Pereira |
| 2023 | Coinductive Control of Inductive Data Types. | Paige Randall North, Maximilien Proux |
| 2023 | String Diagram Rewriting Modulo Commutative (Co)Monoid Structure. | Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi |
| 2023 | Machine-Checked Computational Mathematics (Invited Talk). | Assia Mahboubi |
| 2023 | CRDTs, Coalgebraically (Early Ideas). | Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, Lindsey Kuper |
| 2023 | Structural Operational Semantics for Heterogeneously Typed Coalgebras. | Harald Knig, Uwe Wolter, Tim Kruter |
| 2023 | Amortized Analysis via Coinduction (Early Ideas). | Harrison Grodin, Robert Harper |
| 2023 | Weakly Markov Categories and Weakly Affine Monads. | Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta |
| 2023 | Aczel-Mendler Bisimulations in a Regular Category. | Jrmy Dubut |
| 2023 | Local Completeness for Program Correctness and Incorrectness (Invited Talk). | Roberto Bruni |
| 2023 | Completeness for Categories of Generalized Automata ((Co)algebraic pearls). | Guido Boccali, Andrea Laretto, Fosco Loregin, Stefano Luneia |
| 2023 | Composition and Recursion for Causal Structures. | Henning Basold, Tanjona Ralaivaosaona |
| 2023 | On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls). | Jir Admek, Stefan Milius, Lawrence S. Moss |
| 2023 | Strongly Finitary Monads for Varieties of Quantitative Algebras. | Jir Admek, Matej Dostl, Jir Velebil |
| 2023 | Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties. | Alexander Kurz, Wolfgang Poiger |
| 2023 | Higher-Order Mathematical Operational Semantics (Early Ideas). | Sergey Goncharov, Stefan Milius, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2023 | Integrating Cost and Behavior in Type Theory (Invited Talk). | Robert Harper |
| 2021 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2021 | Minimality Notions via Factorization Systems ((Co)algebraic pearls). | Thorsten Wimann |
| 2021 | The Challenges of Weak Persistency (Invited Talk). | Viktor Vafeiadis |
| 2021 | Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls). | Ana Sokolova, Harald Woracek |
| 2021 | Dialectica Comonads (Invited Talk). | Valeria de Paiva |
| 2021 | Quantitative Polynomial Functors (Early Ideas). | Georgi Nakov, Fredrik Nordvall Forsberg |
| 2021 | Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). | Koko Muroya, Takahiro Sanada, Natsuki Urabe |
| 2021 | The Open Algebraic Path Problem. | Jade Master |