2nd Workshop on Quantitative Aspects of Programming Languages

Authors are invited to submit papers up to 15 pages long in the ENTCS style format. Please download the generic ENTCS package, which contains files common for all volumes in ENTCS. These include several examples, as well as instructions on how to use the LaTeX styles files, and how to produce a .pdf files which is the required format for the final version of papers that are published on-line. The package also contains a generic form of the file entcsmacro.sty.

Electronic submission is higly recommended.
Please register your paper at the URL
http://www.di.unipi.it/QAPL04/ConfMan/REG-paper/
and follow the instructions to upload the paper. If you have registered your paper on-line but you have problems in uploading it, please email your pdf file to qapl04@di.unipi.it.

If you have problems with access to internet and you are not able to register your paper on-line, please send 3 copies of the paper to:

All submission must be received by Friday 14 November 2003.