[TYPES/announce] PDMC 2010 2nd Call for Papers

Michael Weber michaelw at cs.utwente.nl
Wed Jun 9 17:07:36 EDT 2010


                  2nd 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 the joint ICGT/SPIN conference, Sep 27 - Oct 2
-----------------------------------------------------------------------

NEWS:
-----
* Invited Speaker: Youssef Hamadi


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


AIM 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 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


SUBMISSIONS:
------------
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 SPEAKER:
----------------
Youssef Hamadi (Microsoft Research Cambridge, UK)


PROGRAMME CHAIRS:
-----------------
Jiri Barnat (Masaryk University, Czech Republic)
Michael Weber (University of Twente, Netherlands)


PROGRAMME COMMITTEE:
--------------------
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
http://fmt.cs.utwente.nl/~michaelw/



More information about the Types-announce mailing list