[TYPES] Preliminary Call for Papers: QAPL @ ETAPS06 (Vienna)

[Herbert Wiklicky]

                Preliminary 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 hardware 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 Theoretical Computer
Science 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