| 2015 | 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Nijmegen, The Netherlands, June 24-26, 2015 Lawrence S. Moss, Pawel Sobocinski |
| 2015 | A Fibrational Approach to Automata Theory. Liang-Ting Chen, Henning Urbat |
| 2015 | A First-order Logic for String Diagrams. Aleks Kissinger, David Quick |
| 2015 | A Recipe for State-and-Effect Triangles. Bart Jacobs |
| 2015 | An Intensionally Fully-abstract Sheaf Model for pi. Clovis Eberhart, Tom Hirschowitz, Thomas Seiller |
| 2015 | Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries |
| 2015 | Canonical Coalgebraic Linear Time Logics. Corina Cîrstea |
| 2015 | Coalgebraic Infinite Traces and Kleisli Simulations. Natsuki Urabe, Ichiro Hasuo |
| 2015 | Codensity Liftings of Monads. Shin-ya Katsumata, Tetsuya Sato |
| 2015 | Extensions of Functors From Set to V-cat. Adriana Balan, Alexander Kurz, Jirí Velebil |
| 2015 | Final Coalgebras from Corecursive Algebras. Paul Blain Levy |
| 2015 | Finitary Corecursion for the Infinitary Lambda Calculus. Stefan Milius, Thorsten Wißmann |
| 2015 | Front Matter, Table of Contents, Preface, List of Authors. |
| 2015 | Generic Trace Semantics and Graded Monads. Stefan Milius, Dirk Pattinson, Lutz Schröder |
| 2015 | Modules Over Monads and Their Algebras. Maciej Piróg, Nicolas Wu, Jeremy Gibbons |
| 2015 | Open System Categorical Quantum Semantics in Natural Language Processing. Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh |
| 2015 | Partial Higher-dimensional Automata. Ulrich Fahrenberg, Axel Legay |
| 2015 | Presenting Morphisms of Distributive Laws. Bartek Klin, Beata Nachyla |
| 2015 | Revisiting the Institutional Approach to Herbrand's Theorem. Ionut Tutu, José Luiz Fiadeiro |
| 2015 | Syntactic Monoids in a Category. Jirí Adámek, Stefan Milius, Henning Urbat |
| 2015 | Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra. Toshiki Kataoka, Dusko Pavlovic |
| 2015 | Towards Trace Metrics via Functor Lifting. Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König |
| 2015 | Uniform Interpolation for Coalgebraic Fixpoint Logic. Johannes Marti, Fatemeh Seifan, Yde Venema |