27th ESOP 2018: Thessaloniki, Greece (Part of ETAPS 2018)

Language Design

Probabilistic Programming

Types and Effects

Concurrency

Security

Program Verification

Program Analysis and Automated Verification

Session Types and Concurrency

Concurrency and Distribution

Compiler Verification

maintained by Schloss Dagstuhl LZI at University of Trier