From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id EC4F47FD48 for ; Mon, 30 Nov 2015 16:20:30 +0100 (CET) IronPort-PHdr: 9a23:YeHHPxW37QGjGMWkhjTZEVKvAN/V8LGtZVwlr6E/grcLSJyIuqrYZhODt8tkgFKBZ4jH8fUM07OQ6PC9HzxQqs/a+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8CVM1UD3WH1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3MRLkjVbFTEBghNmk04oWr6UiCHkOz4S5WWWwTll9MAhPZxBD8RJb49CXg/KIp0yCfOYjyTKsocTWk9aZiDhHy3nQpLTk8pSvzi8o0xJNGoA+g7VQr8sjwYYe9NOU4d6ibYNBMFjkJZdpYSyEUWtD0VIAIFedUYbdV Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Y.Lin@hw.ac.uk; spf=Pass smtp.mailfrom=Y.Lin@hw.ac.uk; spf=None smtp.helo=postmaster@mail-r.hw.ac.uk Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Y.Lin@hw.ac.uk) identity=pra; client-ip=137.195.101.219; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Y.Lin@hw.ac.uk"; x-sender="Y.Lin@hw.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Y.Lin@hw.ac.uk designates 137.195.101.219 as permitted sender) identity=mailfrom; client-ip=137.195.101.219; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Y.Lin@hw.ac.uk"; x-sender="Y.Lin@hw.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-r.hw.ac.uk) identity=helo; client-ip=137.195.101.219; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Y.Lin@hw.ac.uk"; x-sender="postmaster@mail-r.hw.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BTAAAHaFxWnNtlw4ldAYMPf28Gvz8EWRcMgjyCIIJDPBABAQEBAQEBARABAQEBAQgLCQkhIwuCLYIOHR0PQgE1BAIDQicEExSIGgEMmhKcLIN4AQEIAQEBAQEehlaCDoVfgikeAYICDEEcgRUFjVaJAQGFKYlphEKJLIhwNoNyOIJSHYFAcgGEaQGBBgEBAQ X-IPAS-Result: A0BTAAAHaFxWnNtlw4ldAYMPf28Gvz8EWRcMgjyCIIJDPBABAQEBAQEBARABAQEBAQgLCQkhIwuCLYIOHR0PQgE1BAIDQicEExSIGgEMmhKcLIN4AQEIAQEBAQEehlaCDoVfgikeAYICDEEcgRUFjVaJAQGFKYlphEKJLIhwNoNyOIJSHYFAcgGEaQGBBgEBAQ X-IronPort-AV: E=Sophos;i="5.20,364,1444687200"; d="scan'208";a="189738050" Received: from mail-r.hw.ac.uk ([137.195.101.219]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 Nov 2015 16:20:28 +0100 Received: from hw-caht-03.hw.ac.uk ([137.195.248.75]) by mail-r.hw.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.69) (envelope-from ) id 1a3QFb-0005ve-H5 for caml-list@inria.fr; Mon, 30 Nov 2015 15:20:23 +0000 Received: from HW-MBX-01.hw.ac.uk ([fe80::c45b:bd54:dda7:bc3f]) by HW-CAHT-03.hw.ac.uk ([2002:89c3:f84b::89c3:f84b]) with mapi id 14.03.0123.003; Mon, 30 Nov 2015 15:20:04 +0000 From: "Lin, Yuhui" To: "caml-list@inria.fr" Thread-Topic: First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Thread-Index: AQHRK4KWxp4sNFHZ8UqL5AUoi8/rZQ== Date: Mon, 30 Nov 2015 15:20:03 +0000 Message-ID: <9215E570-916C-440D-82B9-B1BA341DD13C@hw.ac.uk> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [137.195.248.78] Content-Type: text/plain; charset="us-ascii" Content-ID: <46D2DD1691D2D94CB05E2E175AABDE39@hw.ac.uk> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-HW-MailScanner-Information: Please contact the HW Helpdesk for more information X-HW-MailScanner-ID: 1a3QFb-0005ve-H5 X-HW-MailScanner: Found to be clean X-HW-MailScanner-SpamCheck: not spam, SpamAssassin (cached, score=-2.599, required 5, autolearn=not spam, BAYES_00 -2.60) X-HW-MailScanner-From: y.lin@hw.ac.uk X-Validation-by: y.lin@hw.ac.uk Subject: [Caml-list] First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Science of Computer Programming Special Issue on Automated Verification of Critical Systems =20 First Call for Papers =20 Guest editors: Gudmund Grov & Andrew Ireland Submission deadline: 20 May 2016 Notification: 31 August 2016 =20 This special issue is devoted to the 15th international workshop on Automat= ed Verification of Critical Systems (AVoCS 2015), hosted in September 2015 by Heriot-Watt University in Edinburgh (UK): =20 https://sites.google.com/site/avocs15/ =20 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 t= o be interpreted broadly and inclusively. It covers all aspects of automated verification, and typical (but not exclusive) topics of intere= st are: =20 - 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 =20 Submission to this special issue is open. We expect original articles (typi= cally 20-30 pages) that present high-quality contributions, have not been previously published in an archival venue and that must not b= e simultaneously submitted for publication elsewhere. =20 Submissions must be written in English and comply with SCP's author guideli= nes =20 http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authori= nstructions =20 Submission is over the SCP website: =20 http://ees.elsevier.com/scico/default.asp =20 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: A= VoCS 2015". =20 Please send any queries you may have to Gudmund Grov (G.Grov@hw.ac.uk) -----=20 We invite research leaders and ambitious early career researchers to=20 join us in leading and driving research in key inter-disciplinary themes.=20 Please see www.hw.ac.uk/researchleaders for further information and how to apply. Heriot-Watt University is a Scottish charity registered under charity number SC000278.