Madrid Meet 2015

31 August - 5 September, 2015. Madrid, Spain
A week on quantitative and formal methods for computer safety, reliability, and performance