(Our apologies for the initially wrong deadline and also if you receive multiple copies of this message) Second Call For Papers Science of Computer Programming Special Issue on Automated Verification of Critical Systems Guest editor: Markus Roggenbach The (corrected) deadline for submissions is May 31st, 2010. This special issue is devoted to the scope of the international workshop on Automated Verification of Critical Systems (AVoCS 2009 - see http://www.cs.swan.ac.uk/avocs09/index.php) which Swansea University hosted in September 2009. AVoCS is devoted to tools and techniques for the verification of critical systems. These topics are to be interpreted broadly and inclusively. Typical, but not exclusive topics of interest are: - Model Checking, - Automatic and Interactive Theorem Proving, - Abstract Interpretation, - Specification and Refinement, - Requirements Capture and Analysis, - Verification of Software and Hardware, - Verification of Security-Critical Systems, - Probabilistic and Real-Time Systems, - Verified System Development, and - Industrial Applications. Submission to this special issue is completely open. We expect original articles (typically 15-30 pages) that present high-quality contributions that have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must comply with SCP's author guidelines (see http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions), be written in English, and be formatted using LaTeX. Submission to this special issue are hereby encouraged via the EasyChair submission system at http://www.easychair.org/conferences/?conf=avocs09specialissue