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.

Berlin Alexanderplatz

Call for Papers

The CfP (.pdf) is available.

                              Call for Papers

                      6th International Workshop on 
                              (PDMC 2007)

		   July 8, 2007 - Berlin, Germany
		   Workshop affiliated to CAV 2007


The PDMC workshop aims to provide a working forum for presenting, sharing, and discussing recent achievements in the field of parallel and distributed verification. The workshop will consist of invited talks, regular papers, tool papers and presentation.


Papers describing recent work on all aspects of parallel and distributed verification are solicited as contributions to PDMC. Papers must be original and may not be submitted simultaneously to other conferences, workshops or journals. Topics of interest include, but are not limited to: * parallel and distributed methods in: - model checking - probabilistic model checking - performance and dependability evaluation - equivalence checking - satisfiability checking - constraints solving - theorem proving - testing * system issues for parallel and distributed verification: - GRID vs. clusters vs. SMP (heterogeneity, co-scheduling) - parallelization for multi-core processors - external memory approaches - load balancing, robustness, fault tolerance - slicing and distributing the state space - file system support * application: - tools and case studies - software platforms for distributed verification - methods and suites for benchmarking - industrial applications


* Gerard Holzmann (NASA/JPL Laboratory of Reliable Software) Multi-Core Algorithms for Model Checking with Spin


* All submissions should be made electronically on the Submission Page. * 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). * "Presentations" report on relevant results submitted to other forums or already published or on not yet finished work in progress. Presentations will appear in the workshop preliminary proceedings, but will not be considered for the final workshop proceedings. Manuscripts of presentations are limited to a maximum of 10 pages.


* Preliminary workshop proceedings will be available at the meeting as a technical report. * After the workshop, authors of regular and tool papers will be asked to prepare a final version of their paper in the ENTCS-style format to be published in the ENTCS (Electronic Notes in Theoretical Computer Science) * Selected papers will appear in a special issue of the Journal of Logic and Computation


* Abstract submission: May 6, 2007 * Submission deadline: May 13, 2007 * Notification of acceptance: June 4, 2007 * Final version: June 17, 2007 * Meeting date: July 8, 2007


PC members

* Henri E. Bal (Vrije University, The Netherlands) * Howard Barringer (Univ. of Manchester, UK) * Lubos Brim (Masaryk University, Brno, Czech Republic) * Gianfranco Ciardo (University of California at Riverside, US) * Stefan Edelkamp (University Dortmund, DE) * Tamir Heyman (Carnegie Mellon University, USA) * William Knottenbelt (Imperial College, UK) * Martin Leucker (TU Muenchen, Germany) * Gerald Luettgen (University of York, UK) * Radu Mateescu (INRIA, France) * Jaco van de Pol (CWI, Amsterdam, The Netherlands) * Assaf Schuster (Technion, Israel)

PC co-chairs

* Ivana Cerna (Masaryk University, Czech Republic) * Boudewijn R. Haverkort (University of Twente, The Netherlands)