posted by user: wimmer || 4911 views || tracked by 13 users: [display]

PDMC 2012 : 11th International Workshop on Parallel and Distributed Methods in verifiCation

FacebookTwitterLinkedInGoogle

Link: http://www.pdmc.cz/PDMC12/
 
When Sep 17, 2012 - Sep 17, 2012
Where London, UK
Abstract Registration Due May 25, 2012
Submission Deadline Jun 1, 2012
Notification Due Jul 9, 2012
Final Version Due Oct 19, 2012
Categories    verification   parallel computing
 

Call For Papers

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

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 using, in particular, methods and techniques that exploit current parallel 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:
Topics of interest include, but are not limited to:

parallel and/or distributed-memory techniques for verification
parallel SAT solving and its applications in verification
I/O efficient algorithms for verification
GPU accelerated algorithms for verification
platform dependent verification tools
industrial case studies employing PDMC techniques
applications of PDMC techniques to systems biology

INVITED SPEAKER:

To be announced.

PROCEEDINGS & SUBMISSION GUIDELINES:

To be announced.


IMPORTANT DATES:

Abstract submission: May 25, 2012
Full paper submission: June 1, 2012
Notification: July 9, 2012
Updated workshop version: September 10, 2012
Workshop: September 17, 2012
Post-proceedings version: October 19, 2012

PROGRAMME COMMITTEE:

Keijo Heljanko (Aalto University, Finland) - co-chair
William J. Knottenbelt (Imperial College London, UK) - co-chair

Henri E. Bal (Vrije University Amsterdam, Netherlands)
Jiri Barnat (Masaryk University, Czech Republic)
Dragan Bosnacki (Eindhoven University of Technology, Netherlands)
Lubos Brim (Masaryk University, Czech Republic)
Gianfranco Ciardo (University of California at Riverside, USA)
Stefan Edelkamp (University of Bremen, Germany)
John Erickson (Intel, USA)
Youssef Hamadi (Microsoft Research, UK)
Gerard Holzmann (NASA/JPL, USA)
Gerald Luettgen (University of Bamberg, Germany)
Wendelin Serwe (INRIA/LIG, France)
Gethin Norman (University of Glasgow, UK)
Jaco van de Pol (University of Twente, Netherlands)
Rong Zhou (Palo Alto Research Center, USA)

PREVIOUS WORKSHOPS:

PDMC'11, Snowbird, Utah, USA
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

Related Resources

PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
Euro-Par 2024   30th International European Conference on Parallel and Distributed Computing
ISPDC 2024   23rd International Symposium on Parallel and Distributed Computing
PPAM 2024   15th International Conference on Parallel Processing & Applied Mathematics
SNPD 2024   27th ACIS International Summer Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
WAML-HPC 2024   2nd Workshop on Applications of Machine Learning and Artificial Intelligence in High-Performance Computing
Euro-PAR 2024   30th International European Conference on Parallel and Distributed Computing
FDL 2024   Forum on specification and Design Languages
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
PDCTA 2024   13th International Conference on Parallel, Distributed Computing Technologies and Applications