------------------------------------------------------------------------------

                    Call for Papers - PDMC 2012
==============================================================================
                  11th International Workshop on 
       Parallel and Distributed Methods in verifiCation (PDMC 2012)

        September 17th, 2012, Imperial College London, London, UK

                        Co-locating with
9th International Conference on Quantitative Evaluation of SysTems (QEST) 2012 

                    http://www.pdmc.cz/PDMC12
==============================================================================

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

GOALS AND SCOPE:
----------------
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:
-------------------
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 

SUBMISSIONS:
------------
All submissions must be original and unpublished. Regular and tool 
papers accepted for the presentation at the workshop will appear in 
Electronic Proceedings in Theoretical Computer Science series, hence, 
submissions must be prepared in LaTeX using the EPTCS macro package. 
Submission accepted for the presentation must be presented at the 
workshop conference by at least one of the authors. Submissions are 
processed through the EasyChair conference system.

We accept
 * regular papers (max. 15 pages in EPTCS style),
 * tool papers (max. 5 pages in EPTCS style), 


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, US)
 * 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)

------------------------------------------------------------------------------