---------------------------------------------------------------------------

                           Call for Papers

                   Formal Methods in System Design

                           Special Issue on

           Parallel and Distributed Methods in Verification

              (http://www4.in.tum.de/~leucker/fmsd.html)

---------------------------------------------------------------------------

Formal Methods in System Design is seeking original manuscripts for a
Special Issue on Parallel and Distributed Methods in Verification,
scheduled to be published in February 2006.

The growing importance of automated formal verification in industry is
driving a growing interest in those aspects 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 verification techniques.

Articles for this special issue are solicited that cover all aspects
of parallel and distributed methods and techniques for formal
verification. Theoretical results, algorithms and case studies are
equally welcome.

Topics of interest include, but are not limited to the following:

* parallel and distributed model checking
* parallel and distributed equivalence checking
* parallel and distributed satisfiability checking
* slicing and distributing the state space
* distributed theorem proving
* distributed constraint solving
* parallel methods in probabilistic model checking
* file systems for distributed transition systems
* parallel methods in performance evaluation
* tools and case studies
* industrial applications

To simplify the publication process, we have a two step selection
process. Authors willing to submit to this special issues are asked to
send an extended abstract of about 4 pages describing the intended
contribution. We will then select most promising abstracts and will
ask the authors to submit a full version. The full version will then
undergo a careful review process according to journal standards. Note
that acceptance of the abstract does not guarantee acceptance of the
full version.

Submitted articles must not have been previously published or
currently submitted for journal publication elsewhere. As an author,
you are responsible for understanding and adhering to our submission
guidelines. Please thoroughly read these before submitting your
manuscript. See www.kluweronline.com/issn/0925-9856/ for details.

Submissions should be sent to leucker+fmsd@in.tum.de

Please feel free to contact the guest editors at brim@fi.muni.cz or
Martin.Leucker@in.tum.de if you have any questions.

Please note the following important dates:

Abstract Submission Deadline:     Dec. 15, 2004
Invitation to Full Version:       Jan.  1, 2005
Manuscript Submission Deadline:   Feb. 28, 2005
Reviews Completed:                May  30, 2005
Major Revisions Due (if needed):  July 15, 2005
Reviews of Revisions Completed:   Aug. 15, 2005
Minor Revisions due (if needed):  Aug. 31, 2005
Notification of Final Acceptance: Sep.  7, 2005
Final Manuscripts Due:            Sep. 15, 2005
Publication Date:                 Feb.     2006

Guest Editors:

Lubos Brim Masaryk
University Brno
brim@fi.muni.cz
tel: +420-549-493 647
www.fi.muni.cz/usr/brim

Martin Leucker
TU Munich
leucker@in.tum.de
tel: +49-89-289 17376
www4.in.tum.de/~leucker