2nd International Workshop on High Performance Computational Systems Biology (HiBi 2010)
September 30 - October 1, 2010, Twente, The Netherlands
5th International Conference on Graph Transformation (ICGT 2010) , 29 September - 1 October, 2010
17th Annual workshop on Software Model Checking (SPIN 2010), 27 September - 29 September, 2010
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 and complex 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.
TOPICS OF INTEREST:
PROCEEDINGS & SUBMISSION GUIDELINES:
Papers will need to be in 8.5" x 11", Two-Column Format. Formatting instructions and templates can be obtained from the Conference Publishing Service.
Submissions are processed through the EasyChair conference system.
PREVIOUS WORKSHOPS:PDMC'09, Eindhoven, Netherlands
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