Survey Articles

Stream Differential Equations: Specification Formats and Solution Methods 
Helle Hvid Hansen, Clemens Kupke, Jan Rutten

Ambiguity of ω-Languages of Turing Machines 
Olivier Finkel

Pebble Games, Proof Complexity, and Time-Space Trade-offs 
Jakob Nordstrom

Completeness for the coalgebraic cover modality 
Clemens Kupke, Alexander Kurz and Yde Venema

On Global Types and Multi-Party Session 
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini and Luca Padovani

Semantics of Typed Lambda-Calculus with Constructors 
Barbara Petit

Rational streams coalgebraically 
Jan Rutten

Logic Meets Algebra: the Case of Regular Languages 
Pascal Tesson and Denis Thérien

Logics for Unranked Trees: An Overview 
Leonid Libkin