[TYPES/announce] Parallel and Distributed Methods in Verification (PDMC06 1st cfp)
Jaco van de Pol
Jaco.van.de.Pol at cwi.nl
Mon Feb 27 06:13:36 EST 2006
Call for Papers
5th International Workshop on
PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
(PDMC 2006)
August 31, 2006 - Bonn, Germany
Workshop affiliated to CONCUR 2006
http://pdmc.informatik.tu-muenchen.de/PDMC06/
=======================================================================
OBJECTIVES:
The growing importance of automated formal verification in industry is
driving a growing interest in those aspects that directly impact the
applicability to real world problems. One of the main technical
challenges lies in devising tools that allow to handle large state
spaces. Over the last years various approaches have been
developed. Recently, an increasing interest in parallelizing and
distributing verification techniques has emerged.
The aim of the PDMC workshop series is to cover all aspects of
parallel and distributed methods and techniques for verification.
Theoretical results, algorithms and case studies are equally
welcome. Contributions from the domains of model checking, theorem
proving, performance evaluation and equivalence checking are
anticipated.
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 and a selection from the submitted papers.
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
* system issues for parallel and distributed verification:
- GRID vs. clusters vs. SMP (heterogeneity, co-scheduling)
- 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:
* Lubos Brim (Masaryk Univ., Czech Republic)
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).
PROCEEDINGS:
* Preliminary workshop proceedings will be available at the
meeting as a technical report. Revised final papers will appear
as a Springer LNCS proceedings, jointly with FMICS.
IMPORTANT DATES:
* Abstract submission: May 26, 2006
* Submission deadline: June 2, 2006
* Notification of acceptance: July 10, 2006
* Final version: July 25, 2006
* Meeting date: August 31, 2006
PROGRAM COMMITTEE:
PC members:
* Gerd Behrmann (Aalborg University, Denmark)
* Ivana Cerna (Masaryk University, Brno, Czech Republic)
* Gianfranco Ciardo (University of California at Riverside, US)
* Joerg Denzinger (University of Calgary, Canada)
* Hubert Garavel (Inria, France)
* Orna Grumberg (Technion, Haifa, Israel)
* Boudewijn R. Haverkort (University of Twente, The Netherlands)
* William Knottenbelt (Imperial College, UK)
* Marta Kwiatkowska (University of Birmingham, UK)
* Martin Leucker (TU Muenchen, Germany)
* Jaco van de Pol (CWI, Amsterdam, The Netherlands)
PC co-chairs:
* Boudewijn R. Haverkort (University of Twente, The Netherlands)
* Jaco van de Pol (CWI, Amsterdam, The Netherlands)
--
Dr. J.C. van de Pol, CWI
P.O.Box 94079, 1090 GB, Amsterdam, NL
Ph: +31-20-5924137 | Fax: +31-20-5924199
vdpol at cwi.nl | http://www.cwi.nl/~vdpol
More information about the Types-announce
mailing list