PPDP 2011: Odense, Denmark

Invited talks

Verification and specification

Declarative languages

Analysis

Concurrency

Logic programming and constraints

Types and Lambda calculus