FME will partially sponsor Kim G. Larsen (Aalborg University, Denmark), Boris Koepf (IMDEA Software Institute, Madrid, Spain), and Jeremy Bradley (Imperial College London, U.K.) as keynote speakers at QAPL 2012, the Tenth International Workshop on Quantitative Aspects of Programming Languages, March 31th - April 1st, 2012, Tallinn, Estonia. (cf http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012).
Since 2001, QAPL has provided a forum for those interested in quantitative aspects of computation. These aspects are important and sometimes essential in characterising the behavior and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties.
The three keynote speakers will address various topics in the area of quantitative aspects of computation. In particular Prof. Kim G. Larsen will speak about statistical model checking, Dr. Boris Koepf will address quantitative Information-flow analysis and Dr. Jeremy Bradley will give a presentation on mean field and fluid approaches to Markov chain analysis.