6th International Workshop on
Parallel and Distributed Methods in verifiCation

PDMC 2007

Sunday, July 8, 2007, Berlin, Germany
Affiliated to CAV 2007, July 3–7, 2007.



Rhine City Lights

Submissions

SUBMISSION GUIDELINES

* All submissions should be made electronically via the PDMC2006 submission interface. * Manuscripts of "regular papers" are limited to a maximum of 15 pages (excluding technical appendices) in postscript or PDF format (LNCS style strongly recommended). * Manuscripts describing "tool demonstrations" are limited to a maximum of 5 pages in postscript or PDF format (LNCS style strongly recommended).

IMPORTANT DATES

* Abstract submission: May 26, 2006 June 5, 2006 (Extended deadline) * Submission deadline: June 2, 2006 June 5, 2006 (Extended deadline) * Notification of acceptance: July 10, 2006 * Final version: July 25, 2006 * Meeting date: August 31, 2006