28. 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 at University of Trier