[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] PDMC 2010 Call for Papers

                    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


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

* Abstract submission:    June 14, 2010
* Paper submission:       June 21, 2010
* Author notification:    July 31, 2010
* Workshop:               September 30 - October 1, 2010

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 state-of-the-art 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 constraint solving
* parallel methods in probabilistic model checking
* parallel methods in performance evaluation
* I/O efficient algorithms for verification
* GPU accelerated verification
* (libraries for) distributed graph algorithms
* tools and case studies
* industrial applications

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.

To be announced.

Jiri Barnat (Masaryk University, Czech Republic)
Michael Weber (University of Twente, Netherlands)

Henri Bal (Free University Amsterdam, Netherlands)
Dragan Bosnacki (Eindhoven University of Technology, Netherlands)
Lubos Brim (Masaryk University, Czech Republic)
Gianfranco Ciardo (University of California at Riverside, USA)
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, The Netherlands