7th International Workshop on
Parallel and Distributed Methods in verifiCation

PDMC 2008

Saturday, March 29, 2008, Budapest, Hungary
Affiliated to ETAPS 2008, March 29–April 6, 2007.

---

[ Home ] [ Submission Page ] [ Call for Papers ] [ Accepted Papers ] [ Instructions for Authors ] [ Programme ] [ Registration ]

---

Workshop Proceedings Version Submittal Instructions

Preliminary workshop proceedings will be available at the meeting.

LaTeX style files

Use the same style as for your sumbissions. We modify the style so that every paper has a footnote with the workshop identification.

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:

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.

Time and Space Limits

• The page limit is 15 pages.

• The sharp deadline for the submission of your proceedings version is

  28th January, 2008, noon (CET)