6th International Workshop on
Parallel and Distributed Methods in verifiCation

PDMC 2007

Sunday, July 8, 2007, Berlin, Germany
Affiliated to CAV 2007, July 3–7, 2007.



Berlin Alexanderplatz

Final Version Submittal Instructions

Preliminary workshop proceedings will be available at the meeting as a technical report. Accepted regular and tool 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 2007 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:

brh at cs.utwente.nl

Before uploading and 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 pdf version of your paper as well using the conference management system.

We will compile the proceedings using the proceedings builder from the EasyChair system. You will receive more detailed instruction about this soon.

Time and Space Limits

However, we would really appreciate very much, if you are able to make your CRC available earlier, and, for instance, submit already by June 18.