3rd International Workshop on Parallel and Distributed Methods in verifiCation

PDMC 2004

 Saturday 4 September 2004, London, U.K.
Affiliated to CONCUR'04 , 31 August - 3 September 2004.

  
[ Home | Call for Papers | Submission Page | Accepted Papers | Programme | Registration ]

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 entcsmacro.sty file that pertains to PDMC 2004 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: 
          brim@fi.muni.cz
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.

Time and Space Limits