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 375A97EE88 for ; Fri, 29 Apr 2016 10:42:35 +0200 (CEST) IronPort-PHdr: 9a23:Q2LTBxV6RmIDB0Q9rQAo8dXGu5/V8LGtZVwlr6E/grcLSJyIuqrYZhODt8tkgFKBZ4jH8fUM07OQ6PCwHzxeqs7a+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq82VM1sD3GH1SIgxBSv1hD2ZjtMRj4pmJ/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=Pass smtp.helo=postmaster@EUR01-VE1-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=104.47.1.127; 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 104.47.1.127 as permitted sender) identity=mailfrom; client-ip=104.47.1.127; 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@EUR01-VE1-obe.outbound.protection.outlook.com designates 104.47.1.127 as permitted sender) identity=helo; client-ip=104.47.1.127; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Y.Lin@hw.ac.uk"; x-sender="postmaster@EUR01-VE1-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: A0BFAAA+HSNXkH8BL2hdAYQLfQanKpQ/Fw2COoIhgnkQAQEBAQEBAQERAQEBAQkLCQkhJAuCLYIbEgEKHVEBNQQCA0InBBMUDogIBAqiOIE5AYEnARxhBSgCmHaEBwEKAQEBHIYigXSFNIIeHgGBagtAGIIrBY4IigkBhXuKAoRNiF2LHIQUN4JBIIE1bAGGaAF+AQEB X-IPAS-Result: A0BFAAA+HSNXkH8BL2hdAYQLfQanKpQ/Fw2COoIhgnkQAQEBAQEBAQERAQEBAQkLCQkhJAuCLYIbEgEKHVEBNQQCA0InBBMUDogIBAqiOIE5AYEnARxhBSgCmHaEBwEKAQEBHIYigXSFNIIeHgGBagtAGIIrBY4IigkBhXuKAoRNiF2LHIQUN4JBIIE1bAGGaAF+AQEB X-IronPort-AV: E=Sophos;i="5.24,551,1454972400"; d="scan'208";a="216314837" Received: from mail-ve1eur01on0127.outbound.protection.outlook.com (HELO EUR01-VE1-obe.outbound.protection.outlook.com) ([104.47.1.127]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 29 Apr 2016 10:42:34 +0200 Received: from DB5PR06MB1880.eurprd06.prod.outlook.com (10.166.11.151) by DB5PR06MB1878.eurprd06.prod.outlook.com (10.166.11.149) with Microsoft SMTP Server (TLS) id 15.1.492.4; Fri, 29 Apr 2016 08:42:32 +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.0466.028; Fri, 29 Apr 2016 08:42:32 +0000 From: "Lin, Yuhui" To: "caml-list@inria.fr" Thread-Topic: Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Thread-Index: AQHRofMRiWdttAM6fEqDHzQZia1A+w== Date: Fri, 29 Apr 2016 08:42:31 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-messagesentrepresentingtype: 1 x-originating-ip: [94.175.92.3] x-ms-office365-filtering-correlation-id: ab03c659-8872-4b44-339e-08d3700a3468 x-microsoft-exchange-diagnostics: 1;DB5PR06MB1878;5:0NBMCwt1/5TNFrEa5atWkRZmWZB7m0ch3Fp9eXk8wwEQfLBsb7pxaCQCf27lvFu4TqwQIloRQqVCPp5zsRX/WQugUpNe4qX1p5jUevNLj/czy5qWhZjBrVaGad4aZY48PsnQy6Ly+7YXXt0EH/NDzQ==;24:gWTi78iVIbceUgGRPYEGzUhX94yIWt9cHwD20dYXWl68TS+f/5t2df/wxglzbWSoKeAXpAUrSUderTEVKIf0Xp3Jm0RG8J/qKxlUGQz7XXc=;7:eN7e3Am1GoUp6IDkuznKJ1eaMLcIHZ2x1V2iAPpjZ6OeFRLEdD7Zgo+pP2eTeeto/qtlvQzgfB/ZB5STiObodn+s5u19Edm4rLpJn41uF/qbR1IJVgXGLvH6qqLeD+kdrj8DubebWzkAxWtubUgIaaYtASZ1m+ZM+2jsD96HE+hAdFusWYfqKa/CMcXCsqCj x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:DB5PR06MB1878; x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(220618547472400); x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(9101521072)(601004)(2401047)(5005006)(8121501046)(3002001)(10201501046);SRVR:DB5PR06MB1878;BCL:0;PCL:0;RULEID:;SRVR:DB5PR06MB1878; x-forefront-prvs: 0927AA37C7 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(979002)(6009001)(92566002)(106116001)(10400500002)(189998001)(50986999)(122556002)(229853001)(2351001)(5002640100001)(54356999)(5004730100002)(2900100001)(11100500001)(2906002)(19580405001)(5640700001)(19580395003)(10710500007)(33656002)(82746002)(1096002)(83716003)(1220700001)(2420400007)(19273905006)(15650500001)(19300405004)(102836003)(6116002)(450100001)(3846002)(74482002)(586003)(87936001)(2501003)(15975445007)(110136002)(77096005)(107886002)(86362001)(81166005)(36756003)(3660700001)(66066001)(5008740100001)(3280700002)(225293001)(16351025005)(562404015)(104396002)(563064011)(969003)(989001)(999001)(1009001)(1019001);DIR:OUT;SFP:1102;SCL:1;SRVR:DB5PR06MB1878;H:DB5PR06MB1880.eurprd06.prod.outlook.com;FPR:;SPF:None;MLV:ovrnspm;PTR:InfoNoRecords;LANG:en; spamdiagnosticoutput: 1:23 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="us-ascii" Content-ID: Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: hw.ac.uk X-MS-Exchange-CrossTenant-originalarrivaltime: 29 Apr 2016 08:42:31.9349 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 6c425ff2-6865-42df-a4db-8e6af634813d X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5PR06MB1878 X-Validation-by: y.lin@hw.ac.uk Subject: [Caml-list] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Final Call for Papers (*** submission deadline in 3 weeks!!! ***) Science of Computer Programming Special Issue on Automated Verification of Critical Systems 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)=