PPDP 2011: Odense, Denmark

Invited talks

Verification and specification

Declarative languages

Analysis

Concurrency

Logic programming and constraints

Types and Lambda calculus

maintained by Schloss Dagstuhl LZI at University of Trier