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.

PDMC logo

Call for Papers

                              Call for Papers

                      7th International Workshop on 
                              (PDMC 2008)

		   March 29, 2008 - Budapest, Hungary
		   Workshop affiliated to ETAPS 2008


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: - verification of multi-threaded programs - tools and case studies - software platforms for distributed verification - methods and suites for benchmarking - industrial applications


* Henri Bal (Vrije University, The Netherlands)


* 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 (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). * "Presentations" report on relevant results submitted to other forums or already published. "Work in progress papers" report on not yet finished work in progress to be discussed at the workshop. Presentations will appear in the workshop preliminary proceedings, but will not appear in the final workshop ENTCS proceedings. Manuscripts of presentations are limited to a maximum of 15 pages.


* Preliminary workshop proceedings will be available at the meeting as a technical report. * After the workshop, regular and tool papers will appear within the ENTCS series.


* Abstract submission: December 9, 2007 * Submission deadline: December 14, 2007 * Notification of acceptance: January 14, 2008 * Submission deadline for presentation and work in progress: January 14, 2008 * Final version: January 28, 2008 * Meeting date: March 29, 2008


PC members

* Jiri Barnat (Masaryk University, CZ) * Bernd Becker (University Freiburg, D) * Gianfranco Ciardo (University of California at Riverside, US) * Stefan Edelkamp (University Dortmund, DE) * Malay K. Ganai (NEC Labs, Princeton, US) * Boudewijn R. Haverkort (University of Twente, NL) * Keijo Heljanko (Helsinki University of Technology, FI) * Gerard Holzmann (NASA/JPL Laboratory of Reliable Software, US) * William Knottenbelt (Imperial College, UK) * Martin Leucker (TU Muenchen, Germany) * Radu Mateescu (INRIA, France) * Jaco van de Pol (CWI, Amsterdam, The Netherlands) * Willem Visser (SEVEN Networks, US)

PC co-chairs

* Ivana Cerna (Masaryk University, CZ) * Gerald Luettgen (University of York, UK)