44. POPL 2017: Paris, France


Abstract Interpretation

Type Systems 1

Probabilistic Programming

Concurrency 1


Compiler Optimisation

Program Analysis

Type Systems 2

Concurrency 2

Functional Programming with Effects

Semantic Foundations

Logic and Programming

Verification and Synthesis

Type Systems 3

Concurrency 3

Gradual Typing and Contracts


Security and Privacy

maintained by Schloss Dagstuhl LZI, founded at University of Trier