<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#ffffff" text="#000000">
<div class="moz-text-html" lang="x-western">(Apologies for
duplicates)<br>
<br>
Call For Papers<br>
<br>
Science of Computer Programming<br>
<br>
Special Issue on Automated Verification of Critical Systems<br>
Guest editors: Jens Bendispoto, Michael Leuschel, Markus
Roggenbach<br>
<br>
Submission deadline: 9.9.2011<br>
<br>
This special issue is devoted to the scope of the international<br>
workshop on Automated Verification of Critical Systems (AVoCS 2010
-<br>
see <a href="http://www.formal-methods.de/avocs2010/%29">http://www.formal-methods.de/avocs2010/)</a><br>
which Duesseldorf University hosted in September 2010. AVoCS is
devoted to tools<br>
and techniques for the verification of critical systems. These
topics<br>
are to be interpreted broadly and inclusively.<br>
<br>
Typical, but not exclusive topics of interest are:<br>
<br>
- Model Checking,<br>
- Automatic and Interactive Theorem Proving,<br>
- Abstract Interpretation,<br>
- Specification and Refinement,<br>
- Requirements Capture and Analysis,<br>
- Verification of Software and Hardware,<br>
- Verification of Security-Critical Systems,<br>
- Probabilistic and Real-Time Systems,<br>
- Verified System Development, and<br>
- Industrial Applications.<br>
<br>
Submission to this special issue is completely open. We expect<br>
original articles (typically 20-30 pages) that present
high-quality<br>
contributions that have not been previously published in an
archival<br>
venue and that must not be simultaneously submitted for
publication<br>
elsewhere.<br>
<br>
Submissions must comply with SCP's author guidelines (see<br>
<a
href="http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions%29">http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions)</a> and<br>
be written in English.<br>
<br>
Submission website will be announced in due course.<br>
<br>
AVoCS<br>
</div>
</body>
</html>