PPDP 2011: Odense, Denmark

Invited talks

Verification and specification

Declarative languages

Analysis

Concurrency

Logic programming and constraints

Types and Lambda calculus

a service of Schloss Dagstuhl - Leibniz Center for Informatics