[[ -- Apologies for multiple copies of this message -- ]] ============================================================================= Call for Papers 4th International Workshop on PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION (PDMC 2005) July 10, 2005 - Lisboa, Portugal Workshop affiliated to ICALP'05 http://pdmc.informatik.tu-muenchen.de ============================================================================= OBJECTIVES: 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 AND TOPICS: 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 and distributed model checking * parallel and distributed equivalence checking * parallel and distributed satisfiability checking * slicing and distributing the state space * distributed theorem proving * distributed constraints solving * parallel methods in probabilistic model checking * file systems for distributed transitions systems * parallel methods in performance evaluation * tools and case studies * industrial applications INVITED SPEAKER: * Kim G. Larsen (Aalborg University, Denmark) 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. The space limit for presentations is 10 pages (excluding bibliography and technical appendices) in postscript or PDF format (ENTCS style strongly recommended). Submissions should be made electronically using PDMC'05 Submission Page. PROCEEDINGS: The preliminary workshop proceedings will be available at the meeting. 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). IMPORTANT DATES: * Submission deadline: April 17, 2005 * Notification of acceptance: May 16, 2005 * Presentations deadline: May 22, 2005 * Final version: June 3, 2005 PROGRAM COMMITTEE: * Howard Barringer (Manchester Univ., UK) * Lubos Brim (Masaryk Univ., CZ) * Gianpiero Cabodi (Torino, IT) * Joerg Denzinger (Alberta, Canda) * Wan Fokkink (CWI Amsterdam, NL) * Hubert Garavel (INRIA, FR) * Juergen Giesl (RWTH Aachen, DE) * Orna Grumberg (Haifa, Israel) * Boudewijn R. Haverkort (Univ. of Twente, NL) * Marta Kwiatkowska (Univ. of Birmingham, UK) * Martin Leucker (TU Munich, DE) - Co-chair * Eric Mercer (Brigham Young Univ., USA) * Jaco van de Pol (CWI, NL) - Co-chair * Gerardo Schneider (Univ. of Oslo, Norway) * Willem Visser (NASA Ames Research Center, USA) Martin Leucker & Jaco van de Pol workshop organizers