22. ESOP 2013: Rome, Italy (Part of ETAPS 2013)

Invited Talk

Session I: Programming Techniques

Session II: Programming Tools

Session III: Separation Logic

Session IV: Gradual Typing

Session V: Shared-Memory Concurrency and Verification

Session VI: Process Calculi

Session VII: Taming Concurrency

Session VIII: Model Checking and Verification

Session IX: Weak-Memory Concurrency and Verification

Session X: Types, Inference, and Analysis

maintained by Schloss Dagstuhl LZI at University of Trier