28th CAV 2016: Toronto, ON, Canada

Verification in Practice

Concurrency

Constraint Solving II

Automata and Games

Synthesis II

Model Checking II

maintained by Schloss Dagstuhl LZI, founded at University of Trier