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.

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.