Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
QAPL'05
[go: Go Back, main page]

3rd Workshop on

Quantitative Aspects of Programming Languages

QAPL'05

2-3 April 2005, Edinburgh, Scotland

Satellite Event of ETAPS 2005

Programme

Call for Papers: text ps, pdf, html

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

Topics

include (but are not limited to) probabilistic and timing aspects in:
  • Language design
  • Language extension
  • Language expressiveness
  • Semantics
  • Coordination models
  • Distributed systems
  • Time-critical systems
  • Asynchronous hardware
  • Multi-tasking systems
  • Language design
  • Language extension
  • Language expressiveness
  • Semantics
  • Coordination models
  • Distributed systems
  • Time-critical systems
  • Asynchronous Hardware
  • Multi-tasking systems
  • Scheduling theory

Invited Speakers:

Submission:

There will be two types of submissions:
  1. 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 2 January 2005. 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.
  2. 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.

Submission Procedure:

Please send submissions as ps or pdf files to: qapl05 [at] doc.ic.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 2 January 2005 Submission deadline (full papers)
Friday 4th February 2005 Acceptance/Rejection notification
Tuesday 1 February 2005 Submission deadline (abstracts)
Sunday 20 February 2005 Camera-ready version due
Tuesday 15 February 2005 Selection of abstracts

Workshop Organisers:

Program Committee:

G. Bernat (York, UK)
F. de Boer (Utrecht, The Netherlands)
F. van Breugel (Toronto, Canada)
A. Cerone (UNU-IIST, 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-IIST, 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: