2nd Workshop on Quantitative Aspects of Programming Languages

Barcelona, Spain, 27-28 March 2004 - Satellite Event of ETAPS 2004
OVERVIEW
PROGRAM
IMPORTANT DATES
TOPICS
COMMITTEES
KEYNOTE SPEAKERS
SUBMISSION

OVERVIEW

Quantitative aspects of computation are important and sometimes essential in characterising the behaviour 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, risk 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 aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems.

In particular, the workshop focuses on

  • the design of probabilistic and real-time languages and the definition of semantical models for such languages;
  • the discussion of methodologies for the analysis of probabilistic and timing properties (e.g. security, safety, schedulability) and of other quantifiable properties such as reliability (for hardware components), trustworthiness (in information security) and resource usage (e.g., worst-case memory/stack/cache requirements);
  • the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance, reliability and risk analysis);
  • applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and to any other domain involving quantitative issues.

The proceedings of the workshop will be published by Elsevier in ENTCS (Electronic Notes in Theoretical Computer Science).

BACK TO TOP
Last modified: Thu Jul 31 18:24:26 EST 2003 Feedback