Final proceedings published as ENTCS Volume 128, Issue 3

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. After two successful meetings in 2002 and 2003 with primary focus on parallelization of model checking, we have decided to extend the scope of the workshop to cover all approaches where parallel and distributed techniques can make the automated verification more effective and/or extend its applicability. This extension is also reflected in the new name of the workshop.

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: parallel model checking distributed model checking distributed equivalence checking distributed state space generation slicing and distributing the state space distributed satisfiability checking distributed theorem proving distributed constraints solving parallel methods in probabilistic model checking parallel methods in performance evaluation tools and case studies industrial applications file systems for distributed transitions systems PROCEEDINGS: The preliminary workshop proceedings will be available as a Research Report of the Imperial College London. 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. Manuscripts of regular papers are limited to a maximum of 10 pages (excluding bibliography and technical appendices) in postscript or PDF format (ENTCS style strongly recommended). Presentations report on relevant results submitted to other forums or already published or on not yet finished work in progress. Presentations will appear in the workshop preliminary proceedings, but will not be considered for the final workshop proceedings. Manuscripts of presentations are again limited to a maximum of 10 pages. Submissions should be made electronically using PDMC'04 Submission Page. Programme Committee Members (restricted access).

IMPORTANT DATES: June 3, 2004: New submission deadline for regular papers. July 5, 2004: Notification of acceptance. July 10, 2004: Deadline for presentations. July 31, 2004: Camera ready copy for proceedings. September 4, 2004: Meeting Date. INVITED SPEAKER: Boi B. Faltings (Swiss Federal Institute of Technology, Lausanne) : Distributed Constraint Satisfaction PROGRAMME COMMITTEE: Howard Barringer (Manchester Univ., UK) Lubos Brim (Masaryk Univ., Czech Republic) - Co-chair Gianpiero Cabodi (Torino, Italy) Wan Fokkink (CWI Amsterdam, NL) Hubert Garavel (INRIA, France) Hanne Gottliebsen (Queen Mary Univ. of London, UK) Orna Grumberg (Haifa, Israel) Boudewijn R. Haverkort (Univ. of Twente, NL) Michael Jones (Brigham Young Univ., USA) Marta Kwiatkowska (Univ. of Birmingham, UK) Martin Lange (LMU Muenchen, DE) Reinhold Letz (TU Muenchen, DE) Martin Leucker (Uppsala Univ., SE) - Co-chair Sharad Malik (Princeton Univ., USA) Eric Mercer (Brigham Young Univ., USA) Michel Rueher (Universite Nice Sophia Antipolis, France) Pascal Van Hentenryck (Brown University, USA) Willem Visser (NASA Ames Research Center, USA) WORKSHOP ORGANIZERS: Luboš Brim, Masaryk University Brno, Czech Republic Martin Leucker, Uppsala University, Sweden PREVIOUS WORKSHOPS: PDMC'03, Boulder, Colorado, USA PDMC'02, Brno, Czech Republic