Sunday, July 8, 2007, Berlin, Germany
Affiliated to CAV 2007,
July 3–7, 2007.
The CfP (.pdf) is available.
Call for Papers
6th International Workshop on
PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
(PDMC 2007)
July 8, 2007 - Berlin, Germany
Workshop affiliated to CAV 2007
http://pdmc.informatik.tu-muenchen.de/PDMC07/
OBJECTIVES
The PDMC workshop aims to provide a working forum for presenting,
sharing, and discussing recent achievements in the field of parallel and
distributed verification. The workshop will consist of invited talks,
regular papers, tool papers and presentation.
SCOPE AND TOPICS
Papers describing recent work on all aspects of parallel and
distributed verification are solicited as contributions to
PDMC. Papers must be original and may not be submitted simultaneously
to other conferences, workshops or journals. Topics of interest
include, but are not limited to:
* parallel and distributed methods in:
- model checking
- probabilistic model checking
- performance and dependability evaluation
- equivalence checking
- satisfiability checking
- constraints solving
- theorem proving
- testing
* system issues for parallel and distributed verification:
- GRID vs. clusters vs. SMP (heterogeneity, co-scheduling)
- parallelization for multi-core processors
- external memory approaches
- load balancing, robustness, fault tolerance
- slicing and distributing the state space
- file system support
* application:
- tools and case studies
- software platforms for distributed verification
- methods and suites for benchmarking
- industrial applications
INVITED SPEAKER
* Gerard Holzmann (NASA/JPL Laboratory of Reliable Software)
Multi-Core Algorithms for Model Checking with Spin
SUBMISSION GUIDELINES
* All submissions should be made electronically on the Submission
Page.
* Manuscripts of "regular papers" are limited to a maximum of 15
pages (excluding technical appendices) in postscript or PDF
format (LNCS style strongly recommended).
* Manuscripts describing "tool demonstrations" are limited to a
maximum of 5 pages in postscript or PDF format (LNCS style
strongly recommended).
* "Presentations" report on relevant results submitted to other
forums or already published or on not yet finished work in
progress. Presentations will appear in the workshop
preliminary proceedings, but will not be considered for the final
workshop proceedings. Manuscripts of presentations are limited
to a maximum of 10 pages.
PROCEEDINGS
* Preliminary workshop proceedings will be available at the
meeting as a technical report.
* After the workshop, authors of regular and tool papers will be
asked to prepare a final version of their paper in the
ENTCS-style format to be published in the ENTCS
(Electronic Notes in Theoretical Computer Science)
* Selected papers will appear in a special issue of the
Journal of Logic and Computation
IMPORTANT DATES
* Abstract submission: May 6, 2007
* Submission deadline: May 13, 2007
* Notification of acceptance: June 4, 2007
* Final version: June 17, 2007
* Meeting date: July 8, 2007
PROGRAM COMMITTEE
PC members
* Henri E. Bal (Vrije University, The Netherlands)
* Howard Barringer (Univ. of Manchester, UK)
* Lubos Brim (Masaryk University, Brno, Czech Republic)
* Gianfranco Ciardo (University of California at Riverside, US)
* Stefan Edelkamp (University Dortmund, DE)
* Tamir Heyman (Carnegie Mellon University, USA)
* William Knottenbelt (Imperial College, UK)
* Martin Leucker (TU Muenchen, Germany)
* Gerald Luettgen (University of York, UK)
* Radu Mateescu (INRIA, France)
* Jaco van de Pol (CWI, Amsterdam, The Netherlands)
* Assaf Schuster (Technion, Israel)
PC co-chairs
* Ivana Cerna (Masaryk University, Czech Republic)
* Boudewijn R. Haverkort (University of Twente, The Netherlands)