4th International Workshop on Parallel and Distributed Methods in verifiCation

PDMC 2005

Sunday 10 July 2005, Lisboa, Portugal
Affiliated to ICALP 2005, 11–15 July, 2005.



Final Version Submittal Instructions

Accepted regular papers will be published in a volume of ENTCS. These papers must be prepared in the style of that series.

LaTeX style files

To achieve a nice looking layout of the proceeding we ask all the authors to utilize the ENTCS macro files that have been specially prepared for use with ENTCS. While these style files were derived from Elsevier's elsart files, there are significant differences.

  1. The first step is to 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 both the PostScript and the pdf files.

  2. The second step is to download the prentcsmacro.sty file that pertains to PDMC 2005 issue and replaces the entcsmacro.sty contained in the generic ENTCS package.

Sending files

Please send the postscript file and all the source files, (e.g. tex files for the text and ps or eps files for figures, all macro and style files except those included in the standard LaTeX distribution) of the final version of your paper as a single file (use e.g. zip, tar, tar.gz, tar.Z) by email to:

pdmc05@in.tum.de

Before sending the files, please make sure that in all cases the text is identical to the postscript version and no further changes will be needed.

Please submit a ps/pdf version of your paper as well using the conference management system

Time and Space Limits

However, we would really appreciate very much, if you are able to make your manuscript ready earlier.