[MOBY-l] PDMC'04 - 1st CfP

[Martin Leucker]

        [[ -- Apologies for multiple copies of this message -- ]]

=============================================================================

                              Call for Papers

                      3rd International Workshop on 
              PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
                              (PDMC 2004)

                   September 4, 2004, London, U.K.
      Workshop affiliated to CONCUR'04, 31 August - 3 September 2004.
             
                  http://www.fi.muni.cz/~brim/PDMC04
 
=============================================================================

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. After two successful meetings in 2002 and 2003 with
primary focus on parallelization of model checking, the scope of the
workshop have been extended 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 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  
 
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'04 Submission Page.

PROCEEDINGS: The preliminary workshop proceedings will be available as
a Research Report of 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).


IMPORTANT DATES:
    *  May 29, 2004: 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.

 
INVITED SPEAKER:   
Boi B. Faltings (Swiss Federal Institute of Technology, Lausanne)

PROGRAM COMMITTEE:
    * Howard Barringer (Manchester Univ., UK)
    * Lubos Brim (Masaryk Univ., CZ) - Co-chair
    * Gianpiero Cabodi (Torino, IT)
    * Wan Fokkink (CWI Amsterdam, NL)
    * Hubert Garavel (INRIA, FR)
    * 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)
    * Martin Leucker (Uppsala Univ., SE) - Co-chair
    * Sharad Malik (Princeton Univ., USA)
    * Eric Mercer (Brigham Young Univ., USA)
    * Michel Rueher (Universite Nice Sophia Antipolis, FR)
    * Pascal Van Hentenryck (Brown University, USA)
    * Willem Visser (NASA Ames Research Center, USA) 


Lubos Brim & Martin Leucker
workshop organizers