Call for Papers - PDMC 2010

==========================================================================
                    9th International Workshop on 
         Parallel and Distributed Methods in verifiCation (PDMC 2010)

                              joint with

                   2nd International Workshop on 
           High Performance Computational Systems Biology (HIBI 2010)
==========================================================================

        September 30 - October 1, 2010, Twente, The Netherlands

                      http://www.pdmc.cz/PDMC10

      Co-locating with joint ICGT/SPIN conference, Sep 27 - Oct 2

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

* Abstract submission:    July 1, 2010
* Paper submission:       July 1, 2010
* Author notification:    August 14, 2010


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 using 
methods and techniques that exploit current hardware architectures. As 
such, the workshop provides a working forum for presenting, sharing, and 
discussing recent achievements in the field of high-performance 
verification.

Topics of interest include, but are not limited to:

 * multi-core model checking
 * distributed model checking
 * multi-threaded/distributed equivalence checking
 * distributed state space generation
 * slicing and distributing the state space
 * parallel/distributed satisfiability checking
 * parallel/distributed theorem proving
 * parallel/distributed constraints solving
 * parallel methods in probabilistic model checking
 * parallel methods in performance evaluation
 * I/O efficient algorithms for verification
 * GPU accelerated verification
 * distributed (libraries for) graph algorithms
 * tools and case studies
 * industrial applications 


SUBMISIONS:
-----------
We accept 

 * regular papers (max. 8 pages in IEEE format), 
 * tool papers (max 2 pages in IEEE format) 
 * work in progress presentations 

All submissions must be original and unpublished. Regular and tool 
papers accepted for the presentation at the workshop will appear in IEEE 
post-proceedings. High quality and mature work-in-progress papers might 
be invited for the proceedings depending on the presentation at the 
workshop.

INVITED SPEAKERS:
-----------------
 * Youssef Hamadi (Microsoft Research Cambridge): Parallel SAT Solving

PROGRAMME COMMITTEE:
--------------------
 * Henri E. Bal (Vrije University, Netherlands)
 * Jiri Barnat (Masaryk University, Czech Republic) - co-chair
 * Dragan Bosnacki (Eindhoven University of Technology, Netherlands)
 * Lubos Brim (Masaryk University, Czech Republic)
 * Stefan Edelkamp (TZI Bremen, Germany)
 * Ganesh Gopalakrishnan (University of Utah, USA)
 * Keijo Heljanko (Aalto University, Finland)
 * Gerard Holzmann (NASA/JPL, USA)
 * William Knottenbelt (Imperial College, UK)
 * Radu Mateescu (INRIA, France)
 * Jaco van de Pol (University of Twente, Netherlands)
 * Wheeler Ruml (University of New Hampshire, USA)
 * Anna Slobodova (Centaur Technology, USA)
 * Michael Weber (University of Twente, Netherlands) - co-chair