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