| 2019 | 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, London, United Kingdom, June 3-6, 2019 Markus Roggenbach, Ana Sokolova |
| 2019 | A Coalgebraic Perspective on Probabilistic Logic Programming. Tao Gu, Fabio Zanasi |
| 2019 | A Diagrammatic Approach to Quantum Dynamics. Stefano Gogioso |
| 2019 | CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). Pawel Sobocinski, Paul W. Wilson, Fabio Zanasi |
| 2019 | Causal Unfoldings. Marc de Visme, Glynn Winskel |
| 2019 | Coalgebraic Geometric Logic. Nick Bezhanishvili, Jim de Groot, Yde Venema |
| 2019 | Coinduction in Flow: The Later Modality in Fibrations. Henning Basold |
| 2019 | Coinduction: Automata, Formal Proof, Companions (Invited Paper). Damien Pous |
| 2019 | Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. Paul Blain Levy, Sergey Goncharov |
| 2019 | Decomposing Comonad Morphisms. Danel Ahman, Tarmo Uustalu |
| 2019 | From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper). Stefan Milius |
| 2019 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2019 | Hybridisation of Institutions in HETS (Tool Paper). Mihai Codescu |
| 2019 | Linear-Time Graph Algorithms in GP 2. Graham Campbell, Brian Courtehoute, Detlef Plump |
| 2019 | Matching mu-Logic: Foundation of K Framework (Invited Paper). Xiaohong Chen, Grigore Rosu |
| 2019 | Nominal String Diagrams. Samuel Balco, Alexander Kurz |
| 2019 | Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. Vincenzo Ciancia, Yde Venema |
| 2019 | On Terminal Coalgebras Derived from Initial Algebras. Jirí Adámek |
| 2019 | Principles of Natural Language, Logic, and Tensor Semantics (Invited Paper). Mehrnoosh Sadrzadeh |
| 2019 | Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity. Astrid Belder, Bas Luttik, Jos C. M. Baeten |
| 2019 | The Axiom of Choice in Cartesian Bicategories. Filippo Bonchi, Jens Seeber, Pawel Sobocinski |
| 2019 | Tree Automata as Algebras: Minimisation and Determinisation. Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva |