Tenth Workshop on Quantitative Aspects of Programming Languages, Tallinn, Estonia
31 March 2012 - 31 March 2012
Estonia
The Tenth Workshop on Quantitative Aspects of Programming Languages will take place from 31 March to 1 April 2012 in Tallinn, Estonia.
Quantitative aspects in computing are related to the use of physical quantities (such as storage space, time and bandwidth) and mathematical quantities (including probability and measures for reliability, security and trust). These quantities play a central role in defining both the architecture, language design, semantics of a system and the methodologies and tools for the analysis and verification of system properties.
The workshop will be a forum to discuss the use of quantitative information both directly in the model and as a tool for the analysis of systems. Topics set to be covered will include:
- the design of probabilistic, real-time, quantum languages and the definition of semantical models for such languages;
- the discussion of methodologies for the analysis of probabilistic and timing and other quantifiable properties and resource usage;
- the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects;
- applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and other domains involving quantitative issues.For further information, please visit: http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/(opens in new window)
Quantitative aspects in computing are related to the use of physical quantities (such as storage space, time and bandwidth) and mathematical quantities (including probability and measures for reliability, security and trust). These quantities play a central role in defining both the architecture, language design, semantics of a system and the methodologies and tools for the analysis and verification of system properties.
The workshop will be a forum to discuss the use of quantitative information both directly in the model and as a tool for the analysis of systems. Topics set to be covered will include:
- the design of probabilistic, real-time, quantum languages and the definition of semantical models for such languages;
- the discussion of methodologies for the analysis of probabilistic and timing and other quantifiable properties and resource usage;
- the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects;
- applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and other domains involving quantitative issues.For further information, please visit: http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/(opens in new window)