43. POPL 2016: St. Petersburg, FL, USA

Keynotes

Types and Foundations

Algorithmic Verification

Decision Procedures

Correct Compilation

Decidability and Complexity

Language Design

Probabilistic and Statistical Analysis

Foundations of Distributed Systems

Types, Generally or Gradually

Learning and Verification

Optimization

Sessions and Processes

Semantics and Memory Models

Program Design and Analysis

Foundations of Model Checking

Synthesis

maintained by Schloss Dagstuhl LZI at University of Trier