[PVS] CALL FOR PAPERS: PDMC 2009

[Lubos Brim <brim@xxxxxxxxxx>]

[We appologize for multiple copies]

*****************************************************************************
                            First Call for Papers

                        8th International Workshop on
              PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
                                (PDMC 2009)

                    November 4, 2009 -- Eindhoven, Netherlands

                           http://pdmc.cz/PDMC09/
*****************************************************************************
OBJECTIVES

The aim of the PDMC workshop series is to cover all aspects related to the
verification and analysis of very large computer systems, in particular in 
using
methods and techniques that exploit current hardware architectures, like
multi-core architectures, compute clusters, external disks, graphics processing
units etc.

The PDMC workshop aims to provide a working forum for presenting, sharing, and
discussing recent achievements in the field of high-performance verification.

TOPICS

Topics of interest include, but are not limited to:

    - multi-core/distributed model checking
    - multi-threaded/distributed equivalence checking
    - slicing and distributing the state space
    - parallel/distributed satisfiability checking
    - parallel/distributed theorem proving
    - parallel/distributed constraints solving
    - parallel methods in probabilistic model checking
    - parallel methods in performance evaluation
    - distributed (libraries for) graph algorithms
    - distributed state space generation I/O efficient algorithms for 
verification
    - GPU accelerated verification
    - tools and case  studies
    - industrial applications


PDMC 2009 SPECIAL TRACK: Peer-to-peer and Grids in Large-Scale Computing.

The PDMC workshop 2009 will feature a special track on the mutual benefits of 
the verification and the P2P and GRID communities. On the one hand, P2P and 
Grid provide general abstractions and platforms to support the construction of 
large-scale distributed verification tools. On the other hand, scalable 
verification technology can support the design and analysis of the 
communication protocols needed to arrive at more dependable robust and 
predictable behavior of P2P and Grid systems.

Topics of interest include, but are not limited to:

    - GRID vs. clusters vs. SMP (heterogeneity, co-scheduling)
    - parallelization for multi-core processors
    - load balancing
    - scalability experiments of distributed model checking algorithms
      on large Grids and P2P systems
    - using verification methods to improve robustness of Grid systems
    - applying verification methods to Grid and P2P protocols
    - distributed (randomized) data structures and algorithms.


In addition, the PDMC workshop 2009 will be accompanied by a PDMC INDUSTRIAL 
BOOTH held during the FM week.


INVITED SPEAKER

      Gianfranco Ciardo (University of California at Riverside, USA)


SUBMISSION GUIDELINES

      * All submissions should be made electronically via the PDMC 2009
        submission page

        and must clearly state on the title page whether the submission
        is a regular paper, a tool presentation/demonstration, or a 
presentation/work-
        in-progress paper).

PROCEEDINGS

      * Preliminary workshop proceedings will be available at the
        meeting as a technical report.

      * After the workshop, regular and tool papers will appear within
        the ENTCS series.


IMPORTANT DATES

      * Abstract submission:        August 1, 2009
      * Submission deadline:        August 7, 2009
      * Notification of acceptance: September 25, 2009
      * Final version:              October 15, 2009
      * Meeting date:		    November 4, 2009

PROGRAM COMMITTEE
      * Henri E. Bal (Vrije University, Netherlands)
      * Roberto Baldoni (University of Rome, Italy)
      * Jiri Barnat (Masaryk University, Czech Republic)
      * Lubos Brim (Masaryk University, Czech Republic) - Co-chair
      * Stefan Edelkamp (University Dortmund, Germany)
      * Ganesh Gopalakrishnan (University of Utah, USA)
      * Keijo Heljanko (Helsinki University of Technology, Finland)
      * Gerard Holzmann (JPL, USA)
      * Fabrice Huet (University of Nice, France)
      * William Knottenbelt (Imperial College, UK)
      * Martin  Leucker (TU Munchen, Germany)
      * Gerald Luettgen  (University of York, UK)
      * Radu Mateescu  (INRIA, France)
      * Eric Mercer (Brigham Young University, USA)
      * Jaco van de Pol (University of Twente, Netherlands) - Co-chair
      * Maarten van Steen (Vrije University, Netherlands)
      * Cesar Sanches (IMDEA Software, Spain)


WORKSHOP ORGANIZERS

      * Lubos Brim (Masaryk University, Czech Republic)
      * Jaco van de Pol (University of Twente, Netherlands)


CO-LOCATION:

PDMC 2009 is part of the first Formal Methods Week (FMweek), which will bring
together a choice of events in the area, including TESTCOM/FATES (Conference on
Testing of Communicating Systems and Workshop on Formal Approaches to Testing 
of
Software), FACS (Formal Aspects of Component Software), FMICS (Formal Methods
for Industrial Critical Systems), FM2009 (Symposium of Formal Methods Europe),
CPA (Communicating Process Architectures), FAST (Formal Aspects in Security and
Trust), FMCO (Formal Methods for Components and Objects), and the REFINE
Workshop. For the latest information on FMweek, see
http://www.win.tue.nl/fmweek.