| 2021 | Coderelictions for Free Exponential Modalities. | Jean-Simon Pacaud Lemay |
| 2021 | The Central Valuations Monad (Early Ideas). | Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev |
| 2021 | Functorial Semantics as a Unifying Perspective on Logic Programming. | Tao Gu, Fabio Zanasi |
| 2021 | A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity. | Clemens Grabmayer |
| 2021 | Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk). | Holger Giese |
| 2021 | Stream Processors and Comodels. | Richard Garner |
| 2021 | Monads on Categories of Relational Structures. | Chase Ford, Stefan Milius, Lutz Schrder |
| 2021 | How to Write a Coequation ((Co)algebraic pearls). | Fredrik Dahlqvist, Todd Schmid |
| 2021 | Distributive Laws for Lawvere Theories (Invited Talk). | Eugenia Cheng |
| 2021 | Closure Hyperdoctrines. | Davide Castelnovo, Marino Miculan |
| 2021 | Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). | Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
| 2021 | On Doctrines and Cartesian Bicategories. | Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski |
| 2021 | From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). | Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi |
| 2021 | Pushdown Automata and Context-Free Grammars in Bisimulation Semantics. | Jos C. M. Baeten, Cesare Carissimo, Bas Luttik |
| 2021 | Tensor of Quantitative Equational Theories. | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2021 | Which Categories Are Varieties? ((Co)algebraic pearls). | Jir Admek, Jir Rosick |
| 2021 | Initial Algebras Without Iteration ((Co)algebraic pearls). | Jir Admek, Stefan Milius, Lawrence S. Moss |
| 2019 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2019 | Causal Unfoldings. | Marc de Visme, Glynn Winskel |
| 2019 | CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). | Pawel Sobocinski, Paul W. Wilson, Fabio Zanasi |
| 2019 | Principles of Natural Language, Logic, and Tensor Semantics (Invited Paper). | Mehrnoosh Sadrzadeh |
| 2019 | Coinduction: Automata, Formal Proof, Companions (Invited Paper). | Damien Pous |
| 2019 | From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper). | Stefan Milius |
| 2019 | Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. | Paul Blain Levy, Sergey Goncharov |
| 2019 | Tree Automata as Algebras: Minimisation and Determinisation. | Gerco van Heerdt, Tobias Kapp, Jurriaan Rot, Matteo Sammartino, Alexandra Silva |