16th APLAS 2018: Wellington, New Zealand

Types

Program Analysis

Tools

Functional Programs and Probabilistic Programs

Verification

Logic

Continuation and Model Checking

maintained by Schloss Dagstuhl LZI, founded at University of Trier