[TYPES/announce] QAPL'12 - Call for Participation

[Herbert Wiklicky]

[Apologies for multiple copies]

******************************************************************************* 

                                CALL FOR PARTICIPATION
Tenth Workshop on Quantitative Aspects of Programming Languages (QAPL 2012)
       Affiliated with ETAPS 2012 March 31 - April 1, 2012, Tallinn, 
Estonia
http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/
******************************************************************************* 


PROGRAMME:

The programme for the workshop is available from:

http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/

REGISTRATION

Registration is through the ETAPS registration page:

http://www.etaps.org/2012/registration

Details on the venue, local information and accommodation are also 
available
through the ETAPS site:

http://www.etaps.org

INVITED SPEAKERS:

* Jeremy Bradley, Imperial College London, U.K.
   Topic: Mean field and fluid approaches to Markov chain analysis

* Boris Köpf, IMDEA Software Institute, Madrid, Spain
   Topic: Quantitative Information-flow Analysis

* Kim G. Larsen, Aalborg University, Denmark
   Topic: Statistical Model Checking

SCOPE:

Quantitative aspects of computation 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 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, real-time, quantum 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

ORGANIZATION:

PC Chairs:

     * Mieke Massink, CNR-ISTI, Pisa, Italy
     * Herbert Wiklicky, Imperial College London, UK

Program Committee:

     * Alessandro Aldini, University of Urbino, Italy
     * Christel Baier, Technical University of Dresden, Germany
     * Marco Bernardo, University of Urbino, Italy
     * Nathalie Bertrand, IRISA/INRIA Rennes, France
     * Luca Bortolussi, University of Trieste, Italy
     * Jeremy Bradley, Imperial College London, UK
     * Tomas Brazdil, Masaryk University, Czech Republic
     * Antonio Cerone, UNU-IIST, Macao
     * Kostas Chatzikokolakis, CNRS, France
     * Josee Desharnais, Laval University, Canada
     * Alessandra Di Pierro, University of Verona, Italy
     * Mieke Massink, CNR-ISTI, Pisa, Italy
     * Paulo Mateus, Technical University of Lisbon, Portugal
     * Annabelle McIver, Maquarie University, Australia
     * Gethin Norman, University of Glasgow, UK
     * David Parker, University of Oxford, UK
     * Anne Remke, University of Twente, the Netherlands
     * Jeremy Sproston, University of Torino, Italy
     * Herbert Wiklicky, Imperial College London, UK