[TYPES] CfP: QAPL'05 - Quantitative Aspects of Programming Languages

[Herbert Wiklicky]

 [Note requested by the list moderator: The topic of this workshop is on
  "quantitative aspects of programming languages", i.e. their semantics,
  expressiveness, etc. which naturally also includes type theory, etc.]

		        Second Call for Papers
	   [please excuse if you receive multiple copies]

                           3rd Workshop on
            Quantitative Aspects of Programming Languages
                               QAPL'05

                 2-3 April 2005, Edinburgh, Scotland
                    Satellite Event of ETAPS 2005

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 (time, bandwidth, etc.) as well
as mathematical quantities (probabilities, rates, etc.). 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);

- the probabilistic analysis of systems which do not explicitly incorporate
quantitative aspects (e.g. performance and reliability analysis);

- applications to safety-critical systems, communication protocols,
asynchronous hardware, etc.

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

	Language design              Performance analysis
	Language extension           Program analysis
	Language expressiveness      Testing
	Semantics                    Model-checking
	Coordination models          Refinement
	Distributed systems          Verification
	Time-critical systems        Security
	Asynchronous Hardware        Safety
	Multi-tasking systems        Scheduling theory

Invited Speakers:

- Abbas Edalat, Imperial Collge London, UK
- Carroll Morgan, University of New South Wales/NICTA, Australia
- Marta Kwiatkowska, University of Birmingham, UK
- Mike Reed, United Nations University IIST, Macau SAR China

Submission:

There will be two types of submissions:

(a) Full papers of at most 15 pages in A4 format. The use of the ENTCS style
    files is strongly recommended. Submissions should arrive by Sunday 19
    December 2004. Authors will be notified of the acceptance or rejection of
    their papers by Sunday 23 January 2005. Final versions of accepted papers
    must be received in camera-ready and electronic form by Monday 14 February
    2005.

(b) Extended abstracts of ongoing work of at most 5 pages in length. The
    deadline for submission is Tuesday 1 February 2005. On the basis of
    available time a selection of these abstracts will be invited for
    presentation at the workshop. The authors will be informed about a
    decision by Tuesday 15 February 2005.

Please send submissions as ps or pdf files to: qapl05 <at> doc.uc.ac.uk

Publication Policy:

All accepted (full) papers will be published as an ENTCS volume. As for QAPL
2004 we will pursue the publication of the best papers and abstracts presented
at the workshop in a special issue of TCS.

Important Dates:

Sunday  19 December 2004   Submission deadline (full papers)
Sunday  23 January  2005   Acceptance/Rejection notification
Tuesday  1 February 2005   Submission deadline (abstracts)
Monday  14 February 2005   Camera-ready version due
Tuesday 15 February 2005   Selection of abstracts

Workshop Organisers:

Antonio Cerone, United Nations University, Macau SAR China
Herbert Wiklicky, Imperial College London, United Kingdom

Program Committee:

G. Bernat        (York, UK)
F. de Boer       (Utrecht, The Netherlands)
F. van Breugel   (Toronto, Canada)
A. Cerone        (UNU, Macau SAR China - PC co-chair)
L. de Alfaro     (Santa Cruz, USA)
A. Di Pierro     (Pisa, Italy)
C. Fidge         (Queensland, Australia)
M. Gabbrielli    (Bologna, Italy)
D.V. Hung        (UNU, Macau SAR China)
M. Huth          (IC London, UK)
S.D. Johnson     (Indiana, USA)
P. Mateus	 (Lisbon, Portugal)
A. McIver	 (Macquarie University, Australia)
C. Morgan	 (UNSW/NICTA, Australia)
R. Segala	 (Verona, Italy)
H. Wiklicky      (IC London, UK - PC co-chair)
W. Yi		 (Uppsala, Sweden)

Organising Committee:

A. Cerone        (UNU, Macau SAR China)
A. Di Pierro     (Pisa, Italy - chair)
H. Wiklicky      (IC London, UK)

Contact Information:

Herbert Wiklicky                 Phone: +44-20-75948206
Department of Computing          Fax:   +44-20-75818024
Imperial College London		 Email: herbert <at> doc.ic.ac.uk
180 Queens Gate, London SW7 2AZ, United Kingdom