<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div class="">Call For Papers</div>
<div class=""> </div>
<div class="">Science of Computer Programming</div>
<div class=""> </div>
<div class="">Special Issue on Automated Verification of Critical Systems (AVoCS’14)</div>
<div class="">Guest editors: Marieke Huisman, Jaco van de Pol</div>
<div class=""> </div>
<div class="">Submission deadline: 1 May 2015</div>
<div class="">Notification: 30 September 2015</div>
<div class=""> </div>
<div class="">This special issue is devoted to the scope of the international</div>
<div class="">workshop on Automated Verification of Critical Systems (AVoCS 2014 -</div>
<div class="">see <a href="http://www.utwente.nl/avocs2014" class="">http://www.utwente.nl/avocs2014</a>), which the University of Twente</div>
<div class="">hosted in September 2014. AVoCS is devoted to tools and techniques for</div>
<div class="">the verification of critical systems. These topics are to be</div>
<div class="">interpreted broadly and inclusively.</div>
<div class=""> </div>
<div class="">Typical, but not exclusive topics of interest are:</div>
<div class=""> </div>
<div class="">- Model Checking</div>
<div class="">- Automatic and Interactive Theorem Proving</div>
<div class="">- SAT, SMT and Constraint Solving for Verification</div>
<div class="">- Abstract Interpretation</div>
<div class="">- Specification and Refinement</div>
<div class="">- Requirements Capture and Analysis</div>
<div class="">- Verification of Software and Hardware</div>
<div class="">- Specification and Verification of Fault Tolerance and Resilience</div>
<div class="">- Probabilistic and Real-Time Systems</div>
<div class="">- Dependable Systems</div>
<div class="">- Verified System Development</div>
<div class="">- Industrial Applications</div>
<div class=""> </div>
<div class="">Submission to this special issue is completely open. We expect</div>
<div class="">original articles (typically 20-30 pages) that present high-quality</div>
<div class="">contributions that have not been previously published in an archival</div>
<div class="">venue and that must not be simultaneously submitted for publication</div>
<div class="">elsewhere. Submissions will be thoroughly reviewed by at least 2-3</div>
<div class="">reviewers.</div>
<div class=""> </div>
<div class="">Submissions must comply with SCP's author guidelines and be written in English. See</div>
<div class=""><a href="http://www.elsevier.com/journals/science-of-computer-programming/0167-6423/guide-for-authors" class="">http://www.elsevier.com/journals/science-of-computer-programming/0167-6423/guide-for-authors</a></div>
<div class=""><br class="">
</div>
<div class="">Submission is via the SCP website: <a href="http://ees.elsevier.com/scico/" class="">
http://ees.elsevier.com/scico/</a></div>
<div class="">You will need to register first if you do not have an account</div>
<div class="">already. When submitting your paper please choose the article type</div>
<div class="">"Special Issue: AVOCS 2014" (towards the bottom of the list).</div>
<div class=""><br class="">
</div>
<div class="">Kind regards,</div>
<div class="">Marieke Huisman & Jaco van de Pol, guest editors</div>
<div apple-content-edited="true" class=""><span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px;">
<div style="font-size: 12px; " class="">--</div>
<div style="font-size: 12px; " class="">Prof.dr. J.C. van de Pol, chair Formal Methods and Tools</div>
<div style="font-size: 12px; " class="">Universiteit Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands</div>
<div style="font-size: 12px; " class=""><a href="mailto:vdpol@cs.utwente.nl" class="">mailto:vdpol@cs.utwente.nl</a>, <a href="http://www.cs.utwente.nl/~vdpol" class="">http://www.cs.utwente.nl/~vdpol</a></div>
<div style="font-size: 12px; " class="">tel: +31 53 489 3017 fax: +31 53 489 3247 secr: +31 53 489 3767</div>
</span></div>
<br class="">
</body>
</html>