Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Announcements of FME events <events@fmeurope.org>
To: <events@fmeurope.org>
Subject: [Caml-list] AVOCS 2013 SCP Special Issue - Final Call for Papers
Date: Sat, 24 May 2014 11:09:26 +0000	[thread overview]
Message-ID: <mailman.75.1401008248.1337.events@fmeurope.org> (raw)


[-- Attachment #1.1: Type: text/plain, Size: 2071 bytes --]

Call For Papers - Reminder

Science of Computer Programming

Special Issue on Automated Verification of Critical Systems
Guest editors:  Steve Schneider, Helen Treharne

Submission deadline: 7 June 2014
Notification: 30 September 2014

This special issue is devoted to the scope of the international workshop on Automated Verification of Critical Systems (AVoCS 2013 - see http://www.avocs2013.org.uk) which the University of Surrey, UK, hosted in September 2013. 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 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 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 must comply with SCP's author guidelines (see http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions) and be written in English.

Submission is via the SCP website: http://ees.elsevier.com/scico/default.asp. This is a login page; you will need to register first if you do not have an account already. When submitting your paper please choose the article type "SI:AVOCS'13" (towards the bottom of the list).


- - - - - -
Dr Helen Treharne
Senior Lecturer
Department of Computing
University of Surrey
GU2 7XH
Phone: +44 1483 683161


[-- Attachment #1.2: Type: text/html, Size: 15532 bytes --]

[-- Attachment #2: Type: text/plain, Size: 144 bytes --]

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

                 reply	other threads:[~2014-05-25  9:06 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=mailman.75.1401008248.1337.events@fmeurope.org \
    --to=events@fmeurope.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox