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

maintained by Schloss Dagstuhl LZI at University of Trier