42. POPL 2015: Mumbai, India

Keynote Address

Session 1A: Types I

Session 1B: Security

Session 2A: Program Analysis I

Session 2B: Domain-specific Languages

Session 3A: Dynamic Verification

Session 3B: Concurrency I

Session 4A: Compiler Correctness

Session 4B: Types II

Session 5A: Regular Languages and Automata

Session 5B: Programming Models I

Session 6A: Concurrency II

Session 6B: Semantics

Keynote Address

Session 7A: Probabilistic Programs

Session 7B: Programming Models II

Session 8A: Program Analysis II

Session 8B: Verification

Session 9A: Concurrency III

Session 9B: Synthesis

maintained by Schloss Dagstuhl LZI at University of Trier