Accepted Papers

Invited Papers

Samson Abramsky and Jonathan Zvesper.

  From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference

Pawel Sobocinski.

  Relational Presheaves as Labelled Transition Systems

Marcello Bonsangue, Jan Rutten and Joost Winter.

  Defining context-free power series coalgebraically

Accepted Regular Papers

Alexander Kurz, Daniela Petrisan, Paula Severi and Fer-Jan de Vries. 

  An Alpha-Corecursion Principle for the Infinitary Lambda Calculus

Bart Jacobs, Alexandra Silva and Ana Sokolova. 

  Trace Semantics via Determinization

Celia Picard and Ralph Matthes. 

  Permutations in Coinductive Graph Representation

Dusko Pavlovic. 

  Tracing the Man in the Middle in Monoidal Categories

Eleftherios Matsikoudis and Edward Lee. 

  From Transitions to Executions

Giorgio Bacci and Marino Miculan.

  Structural operational semantics for continuous state probabilistic processes

Jiri Adamek, Stefan Milius and Lawrence Moss.

  On Finitary Functors and Their Presentations

Johannes Marti and Yde Venema.

  Lax Extensions of Coalgebra Functors

Toby Wilkinson.

  Internal Models for Coalgebraic Modal Logics

Vincenzo Ciancia and Yde Venema.

  Stream automata are coalgebras