22nd ESOP@ETAPS 2019: Prague, Czech Republic

Program Verification

Language Design

Program Semantics

Types

Security and Incremental Computation

Concurrency and Distribution

Program Analysis and Automated Verification

maintained by Schloss Dagstuhl LZI, founded at University of Trier