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/
OBJECTIVESThe 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 TOPICSPapers 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
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)