News:
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:
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 | Reviews of Revisions Completed (if needed): | Aug. 15, 2005 | |||
|---|---|---|---|---|---|---|
| Invitation to Full Version: | Jan. 1, 2005 | Minor Revisions due (if needed): | Aug. 31, 2005 | |||
| Manuscript Submission Deadline: | Feb. 28, 2005 | Notification of Final Acceptance: | Sep. 7, 2005 | |||
| Reviews Completed: | May 30, 2005 | Final Manuscripts Due: | Sep. 15, 2005 | |||
| Major Revisions Due (if needed): | July 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 |