Sunday 10 July 2005, Lisboa, Portugal
Affiliated to ICALP 2005, 11–15 July, 2005.
The PDMC proceedings are now online. They are issue 2 of volume 135 of ENTCS.
Program now available
Submission deadlline for presentation-only paper is 25th of May
List of accepted papers available
Submissions deadline for regular papers is April 25, 2005.
The growing importance of automated formal verification in industry is driving a growing interest in those aspects which have a direct impact on its applicability to real world problems. One of the main technical challenges is in devising tools that allow to handle large state spaces. Over the last years numerous approaches have been developed. Recently, an increasing interest is in parallelizing and distributing of verification techniques.
The aim of the PDMC workshop series is to cover all aspects of parallel and distributed methods and techniques for formal verification. Theoretical results, algorithms and case studies are equally welcome. Contributions from the domains of model checking, theorem proving, 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 submitted papers.
SCOPE: Papers describing recent work on all aspects of parallel and distributed verification are solicited as contributions to PDMC. Topics of interest include, but are not limited to:
PROCEEDINGS: The preliminary workshop proceedings will be available as a Research Report of the TU Munich. The final proceedings appear as a volume of Electronic Notes in Theoretical Computer Science. After the workshop, selected authors will be invited to submit full versions of their papers (regular papers or presentation results not submitted for journal publication) to a special section of a journal (under negotiation).
SUBMISSION GUIDELINES: There are two categories of submissions: regular papers and presentations.
PROGRAMME COMMITTEE: (preliminary)
PDMC'04, London, U.K.
PDMC'03, Boulder, Colorado, USA
PDMC'02, Brno, Czech Republic