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.

[ home ] [ Submission Page ] [ Call for Papers ] [ Accepted Papers ] [ Instructions for Authors ] [ Programme ] [ Registration ]
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

Page created December 21, 2005 by Michael Weber.
Last modified: