Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CFP: Special Issue in Science of Computer Prog...


view this post on Zulip Email Gateway (Aug 18 2022 at 14:24):

From: Markus Roggenbach <M.Roggenbach@swansea.ac.uk>
(Our apologies if you receive multiple copies of this message)

Call For Papers

Science of Computer Programming

Special Issue on Automated Verification of Critical Systems
Guest editor: Markus Roggenbach

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:

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

The deadline for submissions is

May 31st, 2009.


Last updated: Mar 29 2024 at 08:18 UTC