We co-organise the Mysuru 2016 Workshop  “Trends and Challenges in Quantitative Verification”, together with Igor Walukiewicz, Srivathsan, and Akshay, early February.  Further details can be found here.