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.
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:
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).
Gianfranco Ciardo (University of California at Riverside, USA)
PROGRAMME COMMITTEE (to be completed):
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