Call For Papers Science of Computer Programming
Special Issue on Automated Verification of Critical Systems (AVoCS’14) Guest editors: Marieke Huisman, Jaco van de Pol Submission deadline: 1 May 2015 Notification: 30 September 2015 This special issue is devoted to the scope of the international workshop on Automated Verification of Critical Systems (AVoCS 2014 - see http://www.utwente.nl/avocs2014), which the University of Twente hosted in September 2014. 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 - SAT, SMT and Constraint Solving for Verification - Abstract Interpretation - Specification and Refinement - Requirements Capture and Analysis - Verification of Software and Hardware - Specification and Verification of Fault Tolerance and Resilience - Probabilistic and Real-Time Systems - Dependable Systems - Verified System Development - Industrial Applications Submission to this special issue is completely open. We expect original articles (typically 20-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 will be thoroughly reviewed by at least 2-3 reviewers. Submissions must comply with SCP's author guidelines and be written in English. See http://www.elsevier.com/journals/science-of-computer-programming/0167-6423/guide-for-authors Submission is via the SCP website: http://ees.elsevier.com/scico/ You will need to register first if you do not have an account already. When submitting your paper please choose the article type "Special Issue: AVOCS 2014" (towards the bottom of the list). Kind regards, Marieke Huisman & Jaco van de Pol, guest editors -- Prof.dr. J.C. van de Pol, chair Formal Methods and Tools Universiteit Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands mailto:[email protected], http://www.cs.utwente.nl/~vdpol tel: +31 53 489 3017 fax: +31 53 489 3247 secr: +31 53 489 3767
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
