30th LOPSTR 2020: Bologna, Italy

Rewriting

Unification

Types

Verification

Model Checking and Probabilistic Programming

Program Analysis and Testing

Logics

a service of Schloss Dagstuhl - Leibniz Center for Informatics