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.

[ Home ] [ Submission Page ] [ Call for Papers ] [ Accepted Papers ] [ Instructions for Authors ] [ Programme ] [ Registration ] [ PDMC.CZ ]
Endhoven

Sponsored by
CTIT

OBJECTIVES:

The growing importance of automated formal verification in industry is driving a growing interest in those aspects that directly impact the applicability to real world problems. One of the main technical challenges lies in devising tools and techniques that allow to handle very large industrial models.

At the same time, the computer industry is undergoing a paradigm shift. Chip manufacturers are shifting development resources away from single-processor chips to a new generation of multi-processor chips, huge clusters of multi-core workstations are easily accessible everywhere, external memory devices, such as hard disks or solid state disks, are getting more powerful both in terms of capacity and access speed.

It is inevitable that verification techniques and tools need to undergo a similarly deep technological transition to catch up with the complexity of software designed for the new hardware. Recently, an increasing interest in exploiting the power of modern architectures, in particular in parallelizing and distributing verification techniques, has emerged.

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. The PDMC workshop aims to provide a working forum for presenting, sharing, and discussing recent achievements in the field of high-performance verification.

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 model checkers. This generalizes work in distributed verification to for instance widely distributed graph algorithms. 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.

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

TOPICS OF INTERSET:
Topics of interest include, but are not limited to:

  • multi-core model checking
  • distributed model checking
  • multi-threaded/distributed equivalence checking
  • distributed state space generation
  • 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
  • I/O efficient algorithms for verification
  • GPU accelerated verification
  • distributed (libraries for) graph algorithms
  • tools and case studies
  • industrial applications
PDMC Special Track: P2P and Grids in Large-Scale Computing
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

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

After the workshop, authors of regular and tool papers will be asked to prepare a final version of their paper in the EPTCS-style format to be published in the new series of Electronic Proceedings in Theoretical Computer Science (EPTCS).

SUBMISSION GUIDELINES:

  • There are four kinds of submissions to PDMC'09. All submissions should be made electronically on the PDMC09 Submission Page.
  • Manuscripts of full research papers are limited to a maximum of 15 pages (excluding technical appendices) in PDF format (EPTCS style strongly recommended).
  • Manuscripts describing short tool papers are limited to a maximum of 5 pages in PDF (EPTCS style strongly recommended).
  • Tool demos should provide a separate description (1-2 A4) of a poster and running demo for the industry booth. The demos will be presented to all the attendies of the FM week.
  • Presentations Reports 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. Manuscripts of presentations are limited to a maximum of 10 pages.

IMPORTANT DATES:

August 1, 2009
Submission deadline for abstracts of regular and tool papers.
August 7, 2009, August 12, 2009
Hard submission deadline for regular and tool papers.
Semteber 21, 2009
Submission deadline for presentations and tool demos.
September 25, 2009
Notification of acceptance.
October 15, 2009
Camera ready copy for proceedings.
November 30, 2009

INVITED SPEAKERS:

Gianfranco Ciardo (University of California at Riverside, USA)

PROGRAMME COMMITTEE (to be completed):

WORKSHOP ORGANIZERS:

PREVIOUS WORKSHOPS:

PDMC'08, Budapest, Hungary
PDMC'07, Berlin, Germany
PDMC'06, Bonn, Germany
PDMC'05, Lisboa, Portugal
PDMC'04, London, UK
PDMC'03, Boulder, Colorado, USA
PDMC'02, Brno, Czech Republic