8th International Workshop on
Parallel and Distributed Methods in verifiCation

PDMC 2009

Wednesday, November 4, 2009, Eindhoven, The Netherlands
Collocating with Formal Methods 2009, November 2 - November 6, 2009
and other related events for the first time under the heading of Formal Methods Week.

Call for Papers

PDMC 2009 poster (.pdf) is available.

                                Call for Papers

                        8th International Workshop on
                                (PDMC 2009)

                    November 4, 2009 -- Eindhoven, Netherlands



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 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.


* Gianfranco Ciardo (University of California at Riverside, USA)


* 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).


* 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.


* 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


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)