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 ]
Berlin Alexanderplatz

Submissions

SUBMISSION GUIDELINES

    * All submissions should be made electronically 
      via the   PDMC2007 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).

    * Manuscripts of  "presentation papers" are limited to  a maximum of 10
      pages  (excluding  technical appendices)  in  postscript or  PDF
      format (LNCS style strongly recommended).



IMPORTANT DATES

    * Abstract submission:        May 6, 2007   

    * Submission deadline:        May 13, 2007    
                    May 20, 2007 (Extended deadline)
    * Notification of acceptance: June 8, 2007
    * Final version:              June 22, 2007
    * Meeting date:		  July 8, 2007

Page created December 11, 2006 by Ivana Cerna.
Last modified: