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