Workshop on Parallel and Distributed Model Checking |
August 19, 2002, Brno, Czech Republic,
Affiliated to CONCUR'2002, 20 - 23 August 2002.
|| Programme ]|
Final proceedings published as ENTCS Volume 68 Issue 4
OBJECTIVES: The growing importance of model checking in industry is driving a growing interest in those aspects of model checking which have a direct impact on its applicability to real world problems. One of the main technical challenges is in devising tools that allow to handle large state spaces. Over the last years numerous approaches have been developed. Recently, an increasing interest is in parallelizing and distributing of model checking techniques.
The aim of the PDMC workshop is to cover all aspects of parallel and distributed model checking and supporting techniques. Theoretical results, algorithms and case studies are equally welcome.
The PDMC workshop has a dual mission: it aims to introduce people to the field of parallel and distributed model checking and to be a forum for describing new research. Hence, the workshop will consist of invited presentations by leaders in the field and a selection from the submitted papers. In this way, we hope to build the relationship between people working in these areas and to encourage cross-fertilization of ideas.
Papers describing recent work on all aspects of parallel and distributed
model checking are solicited as contributions to PDMC. Topics of interest
include, but are not limited to:
PROCEEDINGS: The proceedings will be published as a preliminary ENTCS proceedings, and will be available at the workshop. The final proceedings appear as a volume of ENTCS. After the workshop, selected authors will be invited to submit full version of their papers to a special section of the International Journal on Software Tools for Technolgy Transfer dedicated to PDMC'02 workshop.
SUBMISSION GUIDELINES: Manuscripts should be regular papers with a maximum of 10 pages (excluding bibliography and technical appendices) in postscript or PDF format (Springer LNCS style strongly recommended).
Moshe Vardi (Rice University, USA):
Orna Grumberg (Technion, Israel):