[Haskell] CfP: Special Issue on PDMC

[Martin Leucker]

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

			   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 at in.tum.de

Please feel free to contact the guest editors at brim at fi.muni.cz or
Martin.Leucker at 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 at fi.muni.cz 
tel: +420-549-493 647 
www.fi.muni.cz/usr/brim

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