ISoLA 2016: Corfu, Greece

Statistical Model Checking

Evaluation and Reproducibility of Program Analysis and Verification

ModSyn-PP: Modular Synthesis of Programs and Processes

Semantic Heterogeneity in the Formal Development of Complex Systems

Static and Runtime Verification: Competitors or Friends?

Rigorous Engineering of Collective Adaptive Systems

Correctness-by-Construction and Post-hoc Verification: Friends or Foes?

Privacy and Security Issues in Information Systems

maintained by Schloss Dagstuhl LZI at University of Trier