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

From: Peter Bernard Ladkin < >
Date: Mon, 7 Dec 2015 10:18:30 +0100

Hash: SHA256

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):


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


Submission is over the SCP website:


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_xxxxxx

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

events mailing list

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

The System Safety Mailing List
systemsafety_at_xxxxxx Received on Mon Dec 07 2015 - 10:18:42 CET

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:07 CEST