8th International Workshop on
Parallel and Distributed Methods in verifiCation
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.
Instructions for Authors
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:
Instructions for the formal post-conference proceedings will follow later.
- full research papers: 15 pages
- short tool papers: 5 pages
- presentations on work-in-progress: 10 pages