40. POPL 2013: Rome, Italy

Keynote address

Semantics

Verification & static analysis

Types

Abstract interpretation

Semantics

Proofs & verification

Keynote address

Concurrency & design

Separation logic

Keynote address

Concurrency

Security

Keynote address

Models & semantics

Synthesis & verification

Compilation

Analysis & logics

maintained by Schloss Dagstuhl LZI at University of Trier