Sunday, July 8, 2007, Berlin, Germany
Affiliated to CAV 2007, July 3–7, 2007.
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.
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.
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.
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.
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:
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.
The page limit is 16 PAGES under the above given format.
The sharp deadline for the submission of your final version is
22nd June, 2007, noon (CET)
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.