From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 E39D27FFB6 for ; Tue, 15 Mar 2016 17:39:15 +0100 (CET) IronPort-PHdr: 9a23:l8ePZhAM2NNVf+b3wEd3UyQJP3N1i/DPJgcQr6AfoPdwSP78o8bcNUDSrc9gkEXOFd2CrakU26yO6+u/ASQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTnkbjqsMKLKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FpwfVdSr33dLgUSrlRDTJuczxkpZ6jiR6WBwCG439ZVmQNjjJJBRLE5Vf0RN255iDzs+443CiBIeX3S6o1UHKs9fE4ZgXvjXJNEz8/tCnml8xtjegT9CPngx15647LJoiecud9KPCONegGTHZMC54CHxdKBZmxOtdeAg== 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=Pass smtp.helo=postmaster@emea01-am1-obe.outbound.protection.outlook.com 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=157.56.112.109; 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 157.56.112.109 as permitted sender) identity=mailfrom; client-ip=157.56.112.109; 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: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@emea01-am1-obe.outbound.protection.outlook.com designates 157.56.112.109 as permitted sender) identity=helo; client-ip=157.56.112.109; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Y.Lin@hw.ac.uk"; x-sender="postmaster@emea01-am1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DKAACzOehWk21wOJ1dAYQabga8RRcMgjqCIIMGEAEBAQEBAQEBEAEBAQEHDQkJISQLgi2CGxIBCh0GAQE4EQE1BAIDQicEExQOh3ADEg6gSgGBJwEcYQUoAopnAQGFJwEEhjQYOYN+AQoBAQEWBoYbgXKFKYIgHgGBagtAGIEPjXOJYQGFbol3hEmIV1yKFYQON4I/HIE1agGJZAF9AQEB X-IPAS-Result: A0DKAACzOehWk21wOJ1dAYQabga8RRcMgjqCIIMGEAEBAQEBAQEBEAEBAQEHDQkJISQLgi2CGxIBCh0GAQE4EQE1BAIDQicEExQOh3ADEg6gSgGBJwEcYQUoAopnAQGFJwEEhjQYOYN+AQoBAQEWBoYbgXKFKYIgHgGBagtAGIEPjXOJYQGFbol3hEmIV1yKFYQON4I/HIE1agGJZAF9AQEB X-IronPort-AV: E=Sophos;i="5.24,340,1454972400"; d="scan'208";a="207911086" Received: from mail-am1on0109.outbound.protection.outlook.com (HELO emea01-am1-obe.outbound.protection.outlook.com) ([157.56.112.109]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 15 Mar 2016 17:39:15 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=heriotwatt.onmicrosoft.com; s=selector1-hw-ac-uk; h=From:To:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=QvFXZ8rR5g5h43FrppP8NEwW5sN6SBd1F8a3fUr5HjE=; b=PK/JoP3AuGEcQ2uqar7ODKTWlxNsDK6gfeDAAEe6SvgMOTvURDAO2ZJWKe4l4zWvD8p6nad6OvIPuDYrUrK9asxntVUxlNLhdvktNwXf73ClwLVfG3Uqg6MLrGmG2y2Z+p62UITGST7/TtZvLgbumBlpnYHwbDVnOWT3X3UCTCw= Received: from DB5PR06MB1880.eurprd06.prod.outlook.com (10.166.11.151) by DB5PR06MB1879.eurprd06.prod.outlook.com (10.166.11.150) with Microsoft SMTP Server (TLS) id 15.1.434.16; Tue, 15 Mar 2016 16:39:14 +0000 Received: from DB5PR06MB1880.eurprd06.prod.outlook.com ([10.166.11.151]) by DB5PR06MB1880.eurprd06.prod.outlook.com ([10.166.11.151]) with mapi id 15.01.0434.016; Tue, 15 Mar 2016 16:39:14 +0000 From: "Lin, Yuhui" To: "caml-list@inria.fr" Thread-Topic: Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Thread-Index: AQHRftk1AR8ZKQqvH0KCgc/ubXcDjg== Date: Tue, 15 Mar 2016 16:39:14 +0000 Message-ID: <0E851349-1A1C-40A7-BC6E-C7229962ED6C@hw.ac.uk> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-messagesentrepresentingtype: 1 x-originating-ip: [137.195.27.109] x-ms-office365-filtering-correlation-id: ea8ae550-e3b0-4d89-65e3-08d34cf05801 x-microsoft-exchange-diagnostics: 1;DB5PR06MB1879;5:oPbUA/Sz8xfiLzN8IhOe0klMM9U1NnUpb7kPoa5KUHZGm41h80yTupZfH4kQZp09D60JWjlNOSoTnnHEY9LCh879jKSi8590fSlx+4obN0bXEQ5MO0zJVaRTdxEatGTqC3JIaO8WVOnPKM1R8lG7Fg==;24:7dGQvLF6iAke6GDrpRoHAcIoLFfR+F29IxMnCc3P8iyl6HROFdX4Kin24yDdgjjaXgLBSMxD1IGb45s2Y4rxnTgrOBYXsc+4KhgnLiEBiqg= x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:DB5PR06MB1879; x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:; x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(601004)(2401047)(5005006)(8121501046)(10201501046)(3002001);SRVR:DB5PR06MB1879;BCL:0;PCL:0;RULEID:;SRVR:DB5PR06MB1879; x-forefront-prvs: 08828D20BC x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(6009001)(15975445007)(92566002)(83716003)(586003)(1220700001)(10400500002)(50986999)(3846002)(6116002)(1096002)(5002640100001)(10710500007)(122556002)(2351001)(87936001)(2501003)(15650500001)(77096005)(81166005)(5640700001)(450100001)(11100500001)(36756003)(107886002)(66066001)(5004730100002)(2906002)(229853001)(82746002)(110136002)(2900100001)(102836003)(19300405004)(19273905006)(54356999)(86362001)(189998001)(74482002)(19580405001)(3280700002)(3660700001)(19580395003)(33656002)(5008740100001)(106116001)(2420400007)(225293001)(16351025005)(562404015)(563064011);DIR:OUT;SFP:1102;SCL:1;SRVR:DB5PR06MB1879;H:DB5PR06MB1880.eurprd06.prod.outlook.com;FPR:;SPF:None;MLV:sfv;LANG:en; spamdiagnosticoutput: 1:23 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="us-ascii" Content-ID: <4CCEF3D88D5CF5409C12835A743D4BDA@eurprd06.prod.outlook.com> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: hw.ac.uk X-MS-Exchange-CrossTenant-originalarrivaltime: 15 Mar 2016 16:39:14.1095 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 6c425ff2-6865-42df-a4db-8e6af634813d X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5PR06MB1879 X-Validation-by: y.lin@hw.ac.uk Subject: [Caml-list] Second 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 Second Call for Papers Guest editors: Gudmund Grov & Andrew Ireland Submission deadline: 20 May 2016 Notification: 31 August 2016 This special issue is devoted to the 15th international workshop on Automat= ed Verification of Critical Systems (AVoCS 2015): https://sites.google.com/site/avocs15/ The aim of AVoCS is to contribute to the interaction and exchange of ideas = among members of the international research community on tools=20 and techniques for the verification of critical systems. These topics are t= o be interpreted broadly and inclusively. It covers all aspects=20 of automated verification, and typical (but not exclusive) topics of intere= st 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 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. Submissions must be written in English and comply with SCP's author guideli= nes http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authori= nstructions Submission is over the SCP website: http://ees.elsevier.com/scico/default.asp 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". Please send any queries you may have to Gudmund Grov (G.Grov@hw.ac.uk)=