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