44. POPL 2017: Paris, France

Keynotes

Abstract Interpretation

Type Systems 1

Probabilistic Programming

Concurrency 1

Logic

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

Quantum

Security and Privacy

maintained by Schloss Dagstuhl LZI at University of Trier