From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 0915A820A1 for ; Fri, 9 Aug 2013 19:26:10 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fm-announcements-bounces@lists.nasa.gov) identity=pra; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fm-announcements-bounces@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=mailfrom; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=helo; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="postmaster@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtcKAIUlBVKAnPnld2dsb2JhbABYA4M7UL9rFg4BDAoKCRQnAYImBgEBGh0MCAIeBgQEAwECBQECKxUBAwQIAwEFAwIBAgEJDQkyAQwDAQEUAgIEh28MuSkEjmiBXoJkgRoDiSuLcIJHlQqBSgcXBhw X-IPAS-Result: AtcKAIUlBVKAnPnld2dsb2JhbABYA4M7UL9rFg4BDAoKCRQnAYImBgEBGh0MCAIeBgQEAwECBQECKxUBAwQIAwEFAwIBAgEJDQkyAQwDAQEUAgIEh28MuSkEjmiBXoJkgRoDiSuLcIJHlQqBSgcXBhw X-IronPort-AV: E=Sophos;i="4.89,847,1367964000"; d="scan'208";a="23621825" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Aug 2013 19:26:08 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id BE1E5602235; Fri, 9 Aug 2013 13:24:39 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id bkefkWPlqR3i; Fri, 9 Aug 2013 13:24:39 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 254E760216C; Fri, 9 Aug 2013 13:24:37 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 36C51602075 for ; Fri, 9 Aug 2013 11:53:24 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id I+05Qtxp3mBe for ; Fri, 9 Aug 2013 11:53:24 -0400 (EDT) Received: from ndmsnpf01.ndc.nasa.gov (ndmsnpf01.ndc.nasa.gov [198.117.0.121]) by lists.nasa.gov (Postfix) with ESMTP id E38A16020F5 for ; Fri, 9 Aug 2013 11:53:22 -0400 (EDT) Received: from ndmsppt104.ndc.nasa.gov (NDMSPPT104.ndc.nasa.gov [198.117.0.69]) by ndmsnpf01.ndc.nasa.gov (Postfix) with ESMTP id 1D6062600E1; Fri, 9 Aug 2013 10:53:22 -0500 (CDT) Received: from NDMSCHT109.ndc.nasa.gov (NDMSCHT109-pub.ndc.nasa.gov [198.117.0.209]) by ndmsppt104.ndc.nasa.gov (8.14.5/8.14.5) with ESMTP id r79FrMCT029304; Fri, 9 Aug 2013 10:53:22 -0500 Received: from ordinateur.arc.nasa.gov (24.4.63.215) by smtp02.ndc.nasa.gov (198.117.0.209) with Microsoft SMTP Server (TLS) id 14.3.146.0; Fri, 9 Aug 2013 10:53:21 -0500 Message-ID: <52051068.4010902@nasa.gov> Date: Fri, 9 Aug 2013 08:53:12 -0700 From: Kristin Yvonne Rozier User-Agent: Thunderbird 2.0.0.24 (X11/20110927) MIME-Version: 1.0 To: undisclosed-recipients:; X-Originating-IP: [24.4.63.215] X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.10.8794, 1.0.431, 0.0.0000 definitions=2013-08-09_07:2013-08-09,2013-08-09,1970-01-01 signatures=0 X-Mailman-Approved-At: Fri, 09 Aug 2013 13:24:34 -0400 X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.14 List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="us-ascii"; Format="flowed" Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: kristin.y.rozier@nasa.gov Subject: [Caml-list] [fm-announcements] Call for Papers: NFM 2014 ************************************************** The Sixth NASA Formal Methods Symposium http://www.NASAFormalMethods.org/ 29 April - 1 May 2014 NASA Johnson Space Center, Houston, Texas, USA ************************************************** Theme of the Symposium: ----------------------- The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA such systems include autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property-based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other safety-critical systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal verification techniques with advances in safety-critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages carrying throughout system development. Topics of Interest: ------------------- * Model checking * Theorem proving * Static analysis * Model-based development * Runtime monitoring * Formal approaches to fault tolerance * Applications of formal methods to aerospace systems * Formal analysis of cyber-physical systems, including hybrid and embedded systems * Formal methods in systems engineering, modeling, requirements, and specifications * Requirements generation, specification debugging, formal validation of specifications * Use of formal methods in safety cases * Use of formal methods in human-machine interaction analysis * Formal methods for parallel hardware implementations * Use of formal methods in automated software engineering and testing * Correct-by-design, design for verification, and property-based design techniques * Techniques and algorithms for scaling formal methods; e.g. abstraction and symbolic methods, compositional techniques, parallel and distributed techniques * Application of formal methods to emerging technologies Important Dates: ---------------- Abstract Submission: 14 Nov 2013 Paper Submission: 21 Nov 2013 Paper Notifications: 14 Jan 2014 Camera-ready Papers: 11 Feb 2014 Symposium: 29 April - 1 May 2014 Location & Cost: ---------------- The symposium will take place at the Gilruth Center, NASA Johnson Space Center, Houston, Texas, USA, 29 April to 1 May 2013. There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. Submission Details: ------------------- There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (15 pages) 2. Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results (6 pages) All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer's Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format. Keynote Speakers: ----------------- * Larry Paulson, University of Cambridge, UK * Moshe Y. Vardi, Rice University, USA * Special Guest Talk: "NASA Future Challenges in Formal Methods" Organizers: ----------- Mike Hinchey (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC Chair) Steering Committee: ------------------- Ewen Denney, SGT/NASA Ames Ben Di Vito, NASA Langley Klaus Havelund, NASA/JPL Gerard Holzmann, NASA/JPL Cesar Munoz, NASA Langley Corina Pasareanu, CMU/NASA Ames Suzette Person, NASA Langley Kristin Y. Rozier, NASA Ames -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Research Computer Scientist / USA | ~||~ |NASA \ NASA Ames Research Center |______| ~~ |______| Phone: (650) 604-3197 (__||__) Fax: (650) 604-3594 /_\ /_\ !!! !!! http://ti.arc.nasa.gov/profile/kyrozier/ Any opinions expressed in this email are my own. --- To opt-out from this mailing list, send an email to fm-announcements-request@lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner@lists.nasa.gov