July 14, 2011, Cliff Lodge, Snowbird, Utah
23rd International Conference on Computer Aided Verification (CAV 2011)
At the same time, the computer industry is undergoing a major paradigm shift. Processor manufacturers are introducing new generations of multicore processor with large numbers of cores and high performance GPUs, cloud based computing resources are easily accessible, and external memory devices, such as hard disks or solid state disks, are getting more powerful.
It is inevitable that verification techniques and tools need to undergo a similarly deep technological transition to catch up with the new hardware architectures. This has created an increasing interest in parallelizing and distributing verification techniques.
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:
10th ANNIVERSARYTo celebrate the 10th anniversary of PDMC, the workshop will this year consists of a half day invited session together with a half a day session of regular contributed presentations. The invited session will discuss the impact of the field, achieved results, unsolved open problems, as well as the vision on the future of the field.
INVITED SESSION SPEAKERS (alphabetic order):
PROCEEDINGS & SUBMISSION GUIDELINES:
PDMC11 proceedings has already been published in EPTCS.
PREVIOUS WORKSHOPS:PDMC/HiBi 2010, Enschede, Netherlands
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