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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7C8067F8BE for ; Fri, 2 May 2014 02:45:33 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of owre@csl.sri.com) identity=pra; client-ip=130.107.1.30; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="owre@csl.sri.com"; x-sender="owre@csl.sri.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of owre@csl.sri.com) identity=mailfrom; client-ip=130.107.1.30; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="owre@csl.sri.com"; x-sender="owre@csl.sri.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx0.csl.sri.com) identity=helo; client-ip=130.107.1.30; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="owre@csl.sri.com"; x-sender="postmaster@mx0.csl.sri.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AosGAG3pYlOCawEel2dsb2JhbABag1WuCAGPaoc+JW8WDgEBAQEBCBYHPIIdCAEjSwozAwECCjRAhheCSw2WYbMrFo1oYYIoD0GBOwSKBpBllQY X-IPAS-Result: AosGAG3pYlOCawEel2dsb2JhbABag1WuCAGPaoc+JW8WDgEBAQEBCBYHPIIdCAEjSwozAwECCjRAhheCSw2WYbMrFo1oYYIoD0GBOwSKBpBllQY X-IronPort-AV: E=Sophos;i="4.97,968,1389740400"; d="scan'208";a="60068216" Received: from mx0.csl.sri.com ([130.107.1.30]) by mail3-smtp-sop.national.inria.fr with ESMTP; 02 May 2014 02:45:31 +0200 Received: from ubi (ubi.csl.sri.com [130.107.15.8]) by mx0.csl.sri.com (8.14.3/8.14.2) with ESMTP id s420gWxc084806 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO); Thu, 1 May 2014 17:42:32 -0700 (PDT) (envelope-from owre@csl.sri.com) Received: from owre (helo=ubi) by ubi with local-esmtp (Exim 4.76) (envelope-from ) id 1Wg1Yc-0006bK-9o; Thu, 01 May 2014 17:42:30 -0700 Date: Thu, 01 May 2014 17:42:30 -0700 Message-ID: <25377.1398991350@ubi> From: Sam Owre Subject: [Caml-list] VeriSure 2014 Call for Papers ------- Blind-Carbon-Copy Subject: VeriSure 2014 Call for Papers X-Mailer: MH-E 8.5; nmh 1.3; GNU Emacs 23.3.1 Date: Thu, 01 May 2014 17:42:30 -0700 Message-ID: <25377.1398991350@ubi> From: Sam Owre Bcc: Blind Distribution List: ; VeriSure 2014: CAV Workshop on Verification and Assurance 23 July 2014 in Vienna, Austria http://fm.csl.sri.com/VeriSure2014/ Call for Papers/Proposals/Participation VeriSure is a workshop whose goal is a productive dialog between those who develop and use computer-aided verification tools and methods, and those with responsibility for system assurance, acceptance, and certification. We solicit position papers, experience reports, and research papers on relevant topics, which include but are not restricted to the following. * Quantitative and qualitative assurance claims and arguments * Verification and proof in relation to argumentation and defeasibility * Integration of formal verification with assurance cases * Modular and incremental methods of verification and assurance * Toolchains for integrated assurance arguments * Soundness guarantees for tools, toolchains, and workflows * Certification and regulatory requirements and standards * Experience reports and challenges We are looking for interesting experience, work, and ideas (possibly preliminary and exploratory) that will stimulate discussion and thought. The workshop will be held as part of the Vienna Summer of Logic http://vsl2014.at/, under the auspices of CAV, the 26th International Conference on Computer Aided Verification http://cavconference.org/ This will be the second VeriSure workshop; the first was held in conjunction with CAV 2013 in St Petersburg, Russia. You can see the program at http://fm.csl.sri.com/VeriSure2013/ Organizer * John Rushby, SRI International, USA Workshop Committee * Paul Curzon, Queen Mary University of London, UK * Ewan Denney, NASA Ames Research Center, USA * Felicita Di Giandomenico, ISTI-CNR, Italy * Leo Freitas, Newcastle University, UK * Connie Heitmeyer, Naval Research Laboratory, USA * Hardi Hungar, DLR Germany * Tim Kelly, University of York, UK * Yoshiki Kinoshita, Kanagawa University, Japan * Florent Kirchner, CEA, France * Michael Paulitsch, Airbus, Germany * Simin Nadjm-Tehrani, Linkopings Universitet, Sweden * Mark Staples, NICTA and UNSW, Australia * Wilfried Steiner, TTTech, Austria * Willem Visser, Stellenbosch University, South Africa * Naijun Zhan, Institute of Software, Chinese Academy of Science, China Important Dates * Position papers due 26 May 2014 * Reviews/decisions 6 June 2014 * Final versions due early July 2014 * VeriSure Workshop 23 July 2014 For more detail and submission instructions, go to http://fm.csl.sri.com/VeriSure2014/ ------- End of Blind-Carbon-Copy