7th International Workshop on
Parallel and Distributed Methods in verifiCation

PDMC 2008

Saturday, March 29, 2008, Budapest, Hungary
Affiliated to ETAPS 2008, March 29–April 6, 2007.

---

[ Home ] [ Submission Page ] [ Call for Papers ] [ Accepted Papers ] [ Instructions for Authors ] [ Programme ] [ Registration ]

---

Submissions

SUBMISSION GUIDELINES
    * All submissions should be made electronically 
      via the   PDMC2008 submission interface .

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

    * Manuscripts  describing "tool  demonstrations" are limited  to a
      maximum  of 5  pages in  postscript  or PDF  format (ENTCS  style
      strongly recommended).

    * Manuscripts of  "presentation papers" and "work in progress
      reports" are limited to  a maximum of 15  pages   in  postscript 
      or  PDF format (ENTCS style strongly recommended).


IMPORTANT DATES
    * Abstract submission:        December 9, 2007   
    * Submission deadline:        December 14, 2007     

    * Notification of acceptance: January 14, 2008
    * Final version:              January 28, 2008
    * Meeting date:		  March 29, 2008

Page created August 1, 2007 by Ivana Cerna.
Last modified: