Saturday, March 29, 2008, Budapest, Hungary
Affiliated to ETAPS 2008,
March 29–April 6, 2007.
Call for Papers
7th International Workshop on
PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
(PDMC 2008)
March 29, 2008 - Budapest, Hungary
Workshop affiliated to ETAPS 2008
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:
- verification of multi-threaded programs
- tools and case studies
- software platforms for distributed verification
- methods and suites for benchmarking
- industrial applications
INVITED SPEAKER
* Henri Bal (Vrije University, The Netherlands)
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 (ENTCS style strongly recommended).
* Manuscripts describing "tool demonstrations" are limited to a
maximum of 5 pages in postscript or PDF format (ENTCS style
strongly recommended).
* "Presentations" report on relevant results submitted to other
forums or already published. "Work in progress papers" report on
not yet finished work in progress to be discussed at the
workshop. Presentations will appear in the workshop
preliminary proceedings, but will not appear in the final
workshop ENTCS proceedings. Manuscripts of presentations are
limited to a maximum of 15 pages.
PROCEEDINGS
* Preliminary workshop proceedings will be available at the
meeting as a technical report.
* After the workshop, regular and tool papers will appear within
the ENTCS series.
IMPORTANT DATES
* Abstract submission: December 9, 2007
* Submission deadline: December 14, 2007
* Notification of acceptance: January 14, 2008
* Submission deadline for presentation
and work in progress: January 14, 2008
* Final version: January 28, 2008
* Meeting date: March 29, 2008
PROGRAM COMMITTEE
PC members
* Jiri Barnat (Masaryk University, CZ)
* Bernd Becker (University Freiburg, D)
* Gianfranco Ciardo (University of California at Riverside, US)
* Stefan Edelkamp (University Dortmund, DE)
* Malay K. Ganai (NEC Labs, Princeton, US)
* Boudewijn R. Haverkort (University of Twente, NL)
* Keijo Heljanko (Helsinki University of Technology, FI)
* Gerard Holzmann (NASA/JPL Laboratory of Reliable Software, US)
* William Knottenbelt (Imperial College, UK)
* Martin Leucker (TU Muenchen, Germany)
* Radu Mateescu (INRIA, France)
* Jaco van de Pol (CWI, Amsterdam, The Netherlands)
* Willem Visser (SEVEN Networks, US)
PC co-chairs
* Ivana Cerna (Masaryk University, CZ)
* Gerald Luettgen (University of York, UK)