8th International Workshop on
Parallel and Distributed Methods in verifiCation
PDMC 2009
Wednesday, November 4, 2009, Eindhoven, The Netherlands
Collocating with Formal Methods 2009,
November 2 - November 6, 2009
and other related events for the first time under the heading of Formal Methods Week.
Please take the comments by the reviewers carefully into account when
preparing your camera-ready paper for the proceedings. We are currently
preparing the workshop handouts. The camera ready version (pdf) is due at
October 15, 2009
This is a firm deadline for the production of the workshop handouts.
Please submit your contribution as a pdf file, following EPTCS style, using your
EasyChair author account. We created a new tab "WorkshopHandout" for this.
The page limit depends on the category:
full research papers: 15 pages
short tool papers: 5 pages
presentations on work-in-progress: 10 pages
Instructions for the formal post-conference proceedings will follow later.