=======================================================================
10th International Workshop on
Parallel and Distributed Methods in verifiCation (PDMC 2011)
July 14, 2011, Cliff Lodge, Snowbird, Utah
Co-locating with
Computer Aided Verification (CAV 2011)
http://www.pdmc.cz/PDMC11
=======================================================================
Paper submission: May 16, 2011
Notification: June 16, 2011
Workshop: July 14, 2011
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.
10th ANNIVERSARY
----------------
To celebrate the 10th anniversary of PDMC, the workshop will this year
consists of a half day invited session together with a half a day
session of regular contributed presentations. The invited session will
discuss the impact of the field, achieved results, unsolved open
problems, as well as the vision on the future of the field.
INVITED SESSION SPEAKERS (to be completed):
------------------------
* Lubos Brim
* Orna Grumberg
* Kim G. Larsen
* Jaco van de Pol
* Moshe Vardi
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
SUBMISIONS:
-----------
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:
--------------------
* Jiri Barnat (Masaryk University, Czech Republic) - co-chair
* Keijo Heljanko (Aalto University, Finland) - co-chair
* Henri E. Bal (Vrije University Amsterdam, Netherlands)
* 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)
* William Knottenbelt (Imperial College, UK)
* Gerald Luettgen (University of Bamberg, Germany)
* Radu Mateescu (INRIA, France)
* Jaco van de Pol (University of Twente, Netherlands)
* Michael Weber (University of Twente, Netherlands)
* Rong Zhou (Palo Alto Research Center, USA)
--
keijo.heljanko@aalto.fi
http://users.ics.tkk.fi/kepa
Professor
Department of Information and Computer Science
School of Science
Aalto University
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
