Saturday, March 29, 2008, Budapest, Hungary
Affiliated to ETAPS 2008, March 29–April 6, 2007.
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 and techniques that allow to handle very large industrial models. 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, equivalence checking, testing, and performance evaluation 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, regular papers, tool papers and presentations.
SCOPE: Papers describing recent work on all aspects of parallel and distributed verification are solicited as contributions to PDMC. Regular and tool 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:
Preliminary workshop proceedings will be available at the
meeting as a technical report.
Submissions should be made electronically using PDMC'08 Submission Page.
PREVIOUS WORKSHOPS:PDMC'07, Berlin, Germany PDMC'06, Bonn, Germany PDMC'05, Lisboa, Portugal PDMC'04, London, UK PDMC'03, Boulder, Colorado, USA PDMC'02, Brno, Czech Republic