Fifth Workshop on Quantitative Aspects
of Programming Languages
24-25 March, 2007
Braga (Portugal)
Satellite Event of
ETAPS 2007

We encourage submissions of two forms:

  1. Full papers of at most 15 pages. Papers must describe original, previously unpublished work that has not been simultaneously submitted for publication elsewhere. They must be written in English and must contain a clearly delineated part intended for the proceedings. The use of the ENTCS style files is strongly recommended. Additional material for possible consideration by reviewers may be included in the form of appendices.

  2. Extended abstracts of ongoing work of at most 5 pages. They must be written in English. The use of the ENTCS style files is strongly recommended. On the basis of available time, a selection of these will be invited for presentation at the workshop.

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.

All submissions are to be electronic unless specifically approved by the program co-chairs. Papers in PDF format should be submitted at the URL

The program co-chairs can be contacted at

Important dates
Submission (full paper): 19 December, 2006
Submission (extended abstract): 31 January, 2007
Notification (full paper): 31 January, 2007
Notification (extended abstract): 2 February, 2007