Email Gateway (Aug 22 2022 at 13:04): Email Gateway (Aug 22 2022 at 13:04):From: "Lin, Yuhui" <Y.Lin@hw.ac.uk>
Final Call for Papers (* submission deadline in 3 weeks!!! *)
Science of Computer Programming
Special Issue on Automated Verification of Critical Systems
Guest editors: Gudmund Grov & Andrew Ireland
Submission deadline: 20 May 2016
Notification: 31 August 2016
This special issue is devoted to the 15th international workshop on Automated Verification of Critical Systems (AVoCS 2015):
https://sites.google.com/site/avocs15/
The aim of AVoCS is to contribute to the interaction and exchange of ideas among members of the international research community on tools
and techniques for the verification of critical systems. These topics are to be interpreted broadly and inclusively. It covers all aspects
of automated verification, and typical (but not exclusive) topics of interest are:
Submission to this special issue is open. We expect original articles (typically 20-30 pages) that present high-quality contributions,
have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere.
Submissions must be written in English and comply with SCP's author guidelines
http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions
Submission is over the SCP website:
http://ees.elsevier.com/scico/default.asp
which you will have to register for if you do not have an account.
When submitting your paper please choose the article type "Special issue: AVoCS 2015".
Please send any queries you may have to Gudmund Grov (G.Grov@hw.ac.uk)
Last updated: Nov 21 2024 at 12:39 UTC