[TYPES] QAPL 2006 - call for papers

[Bernhard K. Aichernig]

                        Call for Papers

-----------------------------------------------------------------

                         QAPL 2006

-----------------------------------------------------------------

  4th Workshop on Quantitative Aspects of Programming Languages
                     April 1-2, 2006

                     Vienna, Austria
                 Satellite Event of ETAPS 2006


-----------------------------------------------------------------
Scope:

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.


-----------------------------------------------------------------
Topics:

Topics include (but are not limited to) probabilistic, timing and
general quantitative aspects in:


Language design          Information systems     Asynchronous Hw Analysis
Language extension       Multi-tasking systems   Automated reasoning
Language expressiveness  Logic                   Verification
Quantum languages        Semantics               Testing
Time-critical systems    Performance analysis    Safety
Embedded systems         Program analysis        Risk and Hazard Analysis
Coordination models      Protocol Analysis       Scheduling theory
Distributed systems      Model-checking          Security


-----------------------------------------------------------------
Submission:

We encourage submissions of two forms:

(a) Full papers of at most 15 pages in A4 format. The use of the ENTCS
   style files is strongly recommended.

(b) Extended abstracts of ongoing work of at most 5 pages.

   On the basis of available time a selection of these will be invited
   for presentation at the workshop.

Information on electronic submission is available on the workshop web site.


-----------------------------------------------------------------
Important dates:

Submission (Full papers):          15 December, 2005
Submission (Extended abstracts):    5 February, 2006
Notification to authors:            20 January, 2006
Final version:                     10 February, 2006


-----------------------------------------------------------------
Proceedings:

Accepted papers will be published in Elsevier's ENTCS.  Publication of
a selection of the papers in a special issue of a journal is under
consideration.


-----------------------------------------------------------------
Program Committee:

A. Aldini (Urbino)
F. de Boer (Utrecht)
F. van Breugel (Toronto)
A. Cerone (UNU-IIST)
L. de Alfaro (Santa Cruz)
A. Di Pierro (Pisa, co-chair)
M. Gabbrielli (Bologna)
I. Hayes (Queensland)
D.V. Hung (UNU-IIST)
M. Huth (IC London)
S.D. Johnson (Indiana)
J.P. Katoen (RWTH Aachen)
P. Malacaria (QMUL, London)
M. Massink (CNR, Pisa)
P. Mateus (IST, Lisbon)
A. McIver (Macquarie)
C. Morgan (UNSW/NICTA)
P. Panangaden (McGill, Quebec)
A.K. Seda (UC Cork,Ireland)
R. Segala (Verona)
H. Wiklicky (IC London, co-chair)
W. Yi (Uppsala)


-----------------------------------------------------------------
Organising Committee:

A. Cerone (UNU-IIST)
A. Di Pierro (Pisa, chair)
H. Wiklicky (London)

-----------------------------------------------------------------
Invited Speakers:

Rocco De Nicola (Florence)
Joel Ouaknine (Oxford)
Birgit Pfitzmann (IBM Zurich)


-----------------------------------------------------------------
Contact:

Web:   http://www.di.unipi.it/~qapl06/
Email: qapl06 at di.unipi.it
-- 
Bernhard Aichernig, Research Fellow of UNU-IIST  www.iist.unu.edu/~bka
---------------------------------------------------------------------- 

UTP'06:     1st International Symposium on
             Unifying Theories of Programming, UK, 5-7 Feb. 2006
             http://www.scm.tees.ac.uk/utpsymposium

MBT 2006:   2nd Workshop on Model Based Testing
             March 25-26, 2006 Vienna, Austria
             http://react.cs.uni-sb.de/mbt2006/