[SystemSafety] Fwd: First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems

[Peter Bernard Ladkin]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256




- -------- Forwarded Message --------
Subject: First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Syste
ms
Date: Mon, 30 Nov 2015 15:19:46 +0000
From: Announcements of FME events <events at fmeurope.org>
Reply-To: events at fmeurope.org
To: events at fmeurope.org <events at fmeurope.org>

Science of Computer Programming
Special Issue on Automated Verification of Critical Systems

First Call for Papers

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), hosted
in September 2015 by Heriot-Watt University in Edinburgh (UK):

   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:

- - Model Checking
- - Automatic and Interactive Theorem Proving
- - SAT, SMT or 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 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 at hw.ac.uk)



- -----
We invite research leaders and ambitious early career researchers to
join us in leading and driving research in key inter-disciplinary themes.
Please see www.hw.ac.uk/researchleaders for further information and how
to apply.

Heriot-Watt University is a Scottish charity
registered under charity number SC000278.

_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events


-----BEGIN PGP SIGNATURE-----

iQEcBAEBCAAGBQJWZU7mAAoJEIZIHiXiz9k+WUYH/ArVsX8jcYiXUKoYJ+cCW3tU
uqkBIkCVyx79THNoXM3dmxmHUzoUuj3O0E2B8ZK8X1KMWXpQyWcfxfMjZTqYctuw
+R1HuLA+BWCnDON9gM9v9u1wTXPGbKCYMxfXTTiOIBWUj/hfn8oNGXN1JdDpWiZj
B2KRLiBCmnie7721if//I1vXr0SoWMOBrZN+PTAokNo0NH/AbLa2U0w3d1VelCCA
PZvWSmTy8eCXwrBo2tVO3BWzMZ7Q6E4MiC9IFj28yLR3/10lf/Tl8KYGT3DXnK+5
EXrvAgYcKUzkSYlGgCNShtPopYf2VK1Nvl0XgMoP+PAc80I3vr0H9iBskdWUliQ=
=+o/+
-----END PGP SIGNATURE-----