17. ESOP 2008: Budapest, Hungary (Part of ETAPS 2008)

Semantics, Parametricity, and Types

Semantics

Functional and Logic Programming

ESOP Invited Talk

Static Analysis

Security I

Concurrency

ETAPS Invited Talk

Program Verification

Security II