16. ESOP 2007: Braga, Portugal (Part of ETAPS 2007)

Invited Talk

Models and Languages for Web Services

Verification

Term Rewriting

Language Based Security

Logics and Correctness Proofs

Static Analysis and Abstract Interpretation I

Static Analysis and Abstract Interpretation II

Semantic Theories for Object Oriented Languages

Process Algebraic Techniques

Applicative Programming

Types for Systems Properties

maintained by Schloss Dagstuhl LZI, founded at University of Trier