--------------------------------------------------------------------------- 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