From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7203 Path: news.gmane.org!not-for-mail From: Alexander Romanovsky Newsgroups: gmane.comp.lang.caml.inria,gmane.science.mathematics.categories,gmane.science.mathematics.logic.coq.club Subject: CfP Special Issue on Automated Verification of Critical Systems Date: Mon, 13 Feb 2012 19:14:30 +0000 Message-ID: <8F7E39DA2945844C9D7481D2A36B071F86EB212255@EXSAN01.campus.ncl.ac.uk> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 8bit X-Trace: dough.gmane.org 1329164790 16798 80.91.229.3 (13 Feb 2012 20:26:30 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 13 Feb 2012 20:26:30 +0000 (UTC) To: "agents@cs.umbc.edu" , "appsem@appsem.org" , "caml-list@inria.fr" , "categories@mta.ca" , "compunode@compulog.org" , "concurrency@listserver.tue.nl" , "coq-club@pauillac.inria.fr" , "ecoop-info@ecoop.org" , "fmics@inrialpes.fr" , "isabelle-users@cl.cam.ac.uk" , "lics@informatik.hu-berlin.de" , "list@prooftheory.org" , "logic-announce@uclink4.berkeley.edu" , "logic-list@helsinki.fi" , "mailinglist@fmeurope.org" Envelope-to: gclci-caml-list@gmane.org Original-Received: from mail1-relais-roc.national.inria.fr ([192.134.164.82]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Rx2Th-0002qh-LY for gclci-caml-list@gmane.org; Mon, 13 Feb 2012 21:26:25 +0100 X-IronPort-AV: E=Sophos;i="4.73,413,1325458800"; d="scan'208";a="144079102" Original-Received: from walapai.inria.fr ([128.93.30.24]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Feb 2012 21:26:25 +0100 Original-Received: from walapai.inria.fr (localhost [127.0.0.1]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1DKQO7e018398; Mon, 13 Feb 2012 21:26:24 +0100 Original-Received: (from sympa@localhost) by walapai.inria.fr (8.13.6/8.12.10/Submit) id q1DKQNna018388; Mon, 13 Feb 2012 21:26:23 +0100 X-Authentication-Warning: walapai.inria.fr: sympa set sender to caml-list-owner@inria.fr using -f X-Sympa-To: caml-list@inria.fr Original-Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1DJeOSj017510 for ; Mon, 13 Feb 2012 20:40:24 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AowDAHlmOU+A8OoMmWdsb2JhbABDDrACIgEBAQEBCAsLBxQKHYF0BQEBARodLiMBNQEBBxAyJwQBGod9uSCLPwgpBBMCCQYLDwoKAQElgwtsAgYDBAEECQUCAgsRAhgIAYI9YwSnXzc X-IronPort-AV: E=Sophos;i="4.73,413,1325458800"; d="scan'208";a="144075671" Original-Received: from cheviot12.ncl.ac.uk ([128.240.234.12]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Feb 2012 20:40:18 +0100 Original-Received: from exhubct01.ncl.ac.uk ([10.8.239.5] helo=exhubct01.campus.ncl.ac.uk) by cheviot12.ncl.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1Rx1OF-0008CE-AM; Mon, 13 Feb 2012 19:16:43 +0000 Original-Received: from EXSAN01.campus.ncl.ac.uk ([10.8.239.16]) by exhubct01.campus.ncl.ac.uk ([10.8.239.5]) with mapi; Mon, 13 Feb 2012 19:15:33 +0000 Thread-Topic: CfP Special Issue on Automated Verification of Critical Systems Thread-Index: AQHM6oPbKxut1A2CrEGaAPl6TtRZSA== Accept-Language: en-US, en-GB Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, en-GB X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q1DJeOSj017510 X-Validation-by: alexander.romanovsky@newcastle.ac.uk X-Loop: caml-list@inria.fr X-Sequence: 3314 Errors-to: caml-list-owner@inria.fr Precedence: list List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Xref: news.gmane.org gmane.comp.lang.caml.inria:54091 gmane.science.mathematics.categories:7203 gmane.science.mathematics.logic.coq.club:7849 Archived-At: 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