12th IFM 2016: Reykjavik, Iceland

Invited Contributions

Program Verification

Probabilistic Systems

Concurrency

Safety and Liveness

Model Learning

SAT and SMT Solving

Testing

Theorem Proving and Constraint Satisfaction

Case Studies

maintained by Schloss Dagstuhl LZI, founded at University of Trier