23. ESOP 2014: Grenoble, France (Part of ETAPS 2014)

Invited Talks

Type Systems

Verified Compilation

Program Verification I

Semantics

Concurrency

Linear Types

Program Verification II

Network and Process Calculi

Program Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics