PDMC 2009

Call for Papers

PDMC 2009 poster (.pdf) is available.

                                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.



SCOPE AND 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

PC co-chairs
      * Lubos Brim (Masaryk University, Czech Republic)
      * Jaco van de Pol (University of Twente, Netherlands)
 
PC members
      * Henri E. Bal (Vrije University, Netherlands) 
      * Roberto Baldoni (University of Rome, Italy)
      * Jiri Barnat (Masaryk University, Czech Republic)
      * Stefan Edelkamp (University of Bremen, 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)
      * Maarten van Steen (Vrije University, Netherlands)
      * Cesar Sanches (IMDEA Software, Spain)