5th International Workshop on
Parallel and Distributed Methods in verifiCation

PDMC 2006

Thursday, August 31, 2006, Bonn, Germany
Affiliated to CONCUR 2006 , August 27–30, 2006.

Rhine City Lights



The growing importance of automated formal verification in industry is driving a growing interest in those aspects that directly impact the applicability to real world problems. One of the main technical challenges lies in devising tools that allow to handle large state spaces. Over the last years various approaches have been developed. Recently, an increasing interest in parallelizing and distributing verification techniques has emerged.

The aim of the PDMC workshop series is to cover all aspects of parallel and distributed methods and techniques for verification. Theoretical results, algorithms and case studies are equally welcome. Contributions from the domains of model checking, theorem proving, performance evaluation and equivalence checking are anticipated.

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 and a selection from the submitted papers.

SCOPE: 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
  • system issues for parallel and distributed verification:
    • GRID vs. clusters vs. SMP (heterogeneity, co-scheduling)
    • 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

PROCEEDINGS: Preliminary workshop proceedings will be available at the meeting as a technical report.

Revised final papers will appear as a Springer Lecture Notes in Computer Science (LNCS), jointly with FMICS.


  • 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 (LNCS style strongly recommended).


May 26, 2006
June 5, 2006 (Extended deadline)
Submission deadline for abstracts of regular papers.
June 2, 2006
June 5, 2006 (Extended deadline)
Hard submission deadline for regular papers.
July 10, 2006
Notification of acceptance.
July 25, 2006
Camera ready copy for proceedings.
August 31, 2006
Meeting Date.


Luboš Brim, Masaryk Univ., Czech Republic




PDMC'05, Lisboa, Portugal

PDMC'04, London, UK

PDMC'03, Boulder, Colorado, USA

PDMC'02, Brno, Czech Republic