Formal Methods Europe

Homepage of FME

Upcoming: QAPL 2012

By Bernhard Aichernig • Feb 15th, 2012 • Category: Sponsored by FME

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.

Comments are closed.