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

a service of Schloss Dagstuhl - Leibniz Center for Informatics