CALCO 2015 Accepted Papers
- Natsuki Urabe and Ichiro Hasuo, Coalgebraic Infinite Traces and Kleisli Simulations
- Liang-Ting Chen and Henning Urbat, A Fibrational Approach to Automata Theory
- Clovis Eberhart, Tom Hirschowitz and Thomas Seiller, An intensionally fully-abstract sheaf model for pi
- Johannes Marti, Fatemeh Seifan and Yde Venema, Uniform Interpolation for Coalgebraic Fixpoint Logic
- Jiri Adamek, Stefan Milius and Henning Urbat, Syntactic Monoids in a Category
- Stefan Milius, Dirk Pattinson and Lutz Schröder, Generic Trace Semantics and Graded Monads
- Paolo Baldan, Filippo Bonchi, Henning Kerstan and Barbara König, Towards Trace Metrics via Functor Lifting
- Thorsten Wißmann and Stefan Milius, Finitary Corecursion for the Infinitary Lambda Calculus
- Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke and Mehrnoosh Sadrzadeh, Open System Categorical Quantum Semantics in Natural Language Processing
- Bartek Klin and Beata Nachyła, Presenting morphisms of distributive laws
- Aleks Kissinger and David Quick, A first-order logic for string diagrams
- Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi and Fer-Jan de Vries, Nested Fixpoints — A Coalgebraic View of Parametric Dataypes
- Adriana Balan, Alexander Kurz and Jiri Velebil, Extensions of functors from Set to V-cat
- Ionut Tutu and José Luiz Fiadeiro, Revisiting the Institutional Approach to Herbrand's Theorem
- Bart Jacobs, A Recipe for State-and-Effect Triangles
- Maciej Piróg, Nicolas Wu and Jeremy Gibbons, Modules over monads and their algebras
- Corina Cirstea, Canonical Coalgebraic Linear Time Logics
- Paul Blain Levy, Final coalgebras from corecursive algebras
- Shin-Ya Katsumata and Tetsuya Sato, Codensity Liftings of Monads
- Toshiki Kataoka and Dusko Pavlovic, Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra
- Uli Fahrenberg and Axel Legay, Partial Higher-Dimensional Automata