PDMC 2012 Call for Papers

[Keijo Heljanko]

                     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)
  * Rong Zhou (Palo Alto Research Center, USA)


-- 
keijo.heljanko at aalto.fi
http://users.ics.tkk.fi/kepa
Professor
Department of Information and Computer Science
School of Science
Aalto University