International Workshops on
Parallel and Distributed Methods in verifiCation

PDMC

LATEST NEWS: PDMC'08 as satellite of ETAPS'08 in Budapest, Hungary, March 30, 2008

PDMC'06: LNCS 4346 is now available

OBJECTIVES:

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 workshops aim to provide a working forum for presenting, sharing, and discussing recent achievements in the field of parallel and distributed verification. The workshops usually consist of invited talks and a selection from the submitted papers. Accepted papers are usually published within the series Electronic Notes in Theoretical Computer Science (ENTCS) or Lecture Notes in Computer Science (LNCS). Moreover, best papers are typically invited to special issue of a prestigious journals. So far, we devised three special issues covering the scope of PDMC.

The special issues originating form the PDMC workshop series are, so far:
(to appear)

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

STEERING COMMITTEE:

Lubos Brim (Masaryk Univ., Czech Republic)
Hubert Garavel (INRIA, France)
Orna Grumberg (Haifa, Israel)
Kim Larsen (Aalborg University, Denmark)
Martin Leucker (TU München, Germany)

PREVIOUS WORKSHOPS:

PDMC'07, Berlin, Germany

PDMC'06, Bonn, Germany

PDMC'05, Lisbon, Portugal

PDMC'04, London, U.K.

PDMC'03, Boulder, Colorado, USA

PDMC'02, Brno, Czech Republic