From: Alexander Romanovsky <alexander.romanovsky@newcastle.ac.uk>
To: "agents@cs.umbc.edu" <agents@cs.umbc.edu>,
"appsem@appsem.org" <appsem@appsem.org>,
"caml-list@inria.fr" <caml-list@inria.fr>,
"categories@mta.ca" <categories@mta.ca>,
"compunode@compulog.org" <compunode@compulog.org>,
"concurrency@listserver.tue.nl" <concurrency@listserver.tue.nl>,
"coq-club@pauillac.inria.fr" <coq-club@pauillac.inria.fr>,
"ecoop-info@ecoop.org" <ecoop-info@ecoop.org>,
"fmics@inrialpes.fr" <fmics@inrialpes.fr>,
"isabelle-users@cl.cam.ac.uk" <isabelle-users@cl.cam.ac.uk>,
"lics@informatik.hu-berlin.de" <lics@informatik.hu-berlin.de>,
"list@prooftheory.org" <list@prooftheory.org>,
"logic-announce@uclink4.berkeley.edu"
<logic-announce@uclink4.berkeley.edu>,
"logic-list@helsinki.fi" <logic-list@helsinki.fi>,
"mailinglist@fmeurope.org" <mailinglist@fm
Subject: CfP Special Issue on Automated Verification of Critical Systems
Date: Mon, 13 Feb 2012 19:14:30 +0000 [thread overview]
Message-ID: <8F7E39DA2945844C9D7481D2A36B071F86EB212255@EXSAN01.campus.ncl.ac.uk> (raw)
Call For Papers
Science of Computer Programming
Special Issue on Automated Verification of Critical Systems
Guest editors: Cliff Jones, Alexander Romanovsky
Submission deadline: 05.05.2012
Notification: 01.08.2012
This special issue is devoted to the scope of the international
workshop on Automated Verification of Critical Systems (AVoCS 2011 -
see http://conferences.ncl.ac.uk/AVoCS2011/) which
Newcastle University hosted in September 2011.
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,
- Abstract Interpretation,
- Specification and Refinement,
- Requirements Capture and Analysis,
- Verification of Software and Hardware,
- Verification of Security-Critical Systems,
- Specification and Verification of Fault Tolerance and Resilience
- Probabilistic and Real-Time Systems,
- Dependable Systems,
- Verified System Development, and
- 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 over 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.
When submitting your paper please choose
the article type "Special issue: AVoCS 2011".
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
reply other threads:[~2012-02-13 19:14 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=8F7E39DA2945844C9D7481D2A36B071F86EB212255@EXSAN01.campus.ncl.ac.uk \
--to=alexander.romanovsky@newcastle.ac.uk \
--cc=agents@cs.umbc.edu \
--cc=appsem@appsem.org \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=compunode@compulog.org \
--cc=concurrency@listserver.tue.nl \
--cc=coq-club@pauillac.inria.fr \
--cc=ecoop-info@ecoop.org \
--cc=fmics@inrialpes.fr \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=lics@informatik.hu-berlin.de \
--cc=list@prooftheory.org \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@helsinki.fi \
--cc=mailinglist@fm \
/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;
as well as URLs for NNTP newsgroup(s).