Survey Articles

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