| 2021 | 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, Salzburg, Austria, August 31 - September 3, 2021 Fabio Gadducci, Alexandra Silva |
| 2021 | A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity. Clemens Grabmayer |
| 2021 | Closure Hyperdoctrines. Davide Castelnovo, Marino Miculan |
| 2021 | Coderelictions for Free Exponential Modalities. Jean-Simon Pacaud Lemay |
| 2021 | Dialectica Comonads (Invited Talk). Valeria de Paiva |
| 2021 | Distributive Laws for Lawvere Theories (Invited Talk). Eugenia Cheng |
| 2021 | From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi |
| 2021 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2021 | Functorial Semantics as a Unifying Perspective on Logic Programming. Tao Gu, Fabio Zanasi |
| 2021 | How to Write a Coequation ((Co)algebraic pearls). Fredrik Dahlqvist, Todd Schmid |
| 2021 | Initial Algebras Without Iteration ((Co)algebraic pearls). Jirí Adámek, Stefan Milius, Lawrence S. Moss |
| 2021 | Minimality Notions via Factorization Systems ((Co)algebraic pearls). Thorsten Wißmann |
| 2021 | Monads on Categories of Relational Structures. Chase Ford, Stefan Milius, Lutz Schröder |
| 2021 | Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls). Ana Sokolova, Harald Woracek |
| 2021 | On Doctrines and Cartesian Bicategories. Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski |
| 2021 | Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). Koko Muroya, Takahiro Sanada, Natsuki Urabe |
| 2021 | Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
| 2021 | Pushdown Automata and Context-Free Grammars in Bisimulation Semantics. Jos C. M. Baeten, Cesare Carissimo, Bas Luttik |
| 2021 | Quantitative Polynomial Functors (Early Ideas). Georgi Nakov, Fredrik Nordvall Forsberg |
| 2021 | Stream Processors and Comodels. Richard Garner |
| 2021 | Tensor of Quantitative Equational Theories. Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2021 | The Central Valuations Monad (Early Ideas). Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev |
| 2021 | The Challenges of Weak Persistency (Invited Talk). Viktor Vafeiadis |
| 2021 | The Open Algebraic Path Problem. Jade Master |
| 2021 | Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk). Holger Giese |
| 2021 | Which Categories Are Varieties? ((Co)algebraic pearls). Jirí Adámek, Jirí Rosický |