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 731297F75C for ; Sat, 16 Aug 2014 07:26:12 +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: AuQBAALr7lOAnPnlm2dsb2JhbABVA4NgVwTNYQyHA4FhFhABAQEBAQgJCwkUKYQFBgEBGh0MCAIYBgoEAwECBQECKxUBAwQIAwEFAwIBAgEJDQksDQYCAQEBDwIHBIghDcQMBIwZAYJMEQFohDsFhFKBP4URiiWDdTKCUJcVgWZMAYEHBxcGHIEHAQEB X-IPAS-Result: AuQBAALr7lOAnPnlm2dsb2JhbABVA4NgVwTNYQyHA4FhFhABAQEBAQgJCwkUKYQFBgEBGh0MCAIYBgoEAwECBQECKxUBAwQIAwEFAwIBAgEJDQksDQYCAQEBDwIHBIghDcQMBIwZAYJMEQFohDsFhFKBP4URiiWDdTKCUJcVgWZMAYEHBxcGHIEHAQEB X-IronPort-AV: E=Sophos;i="5.01,876,1400018400"; d="scan'208";a="74957029" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Aug 2014 07:26:02 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 7F85B600FFB; Sat, 16 Aug 2014 01:24:46 -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 sBe29fGioyQa; Sat, 16 Aug 2014 01:24:46 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 9E904600DA7; Sat, 16 Aug 2014 01:24:42 -0400 (EDT) X-Original-To: fm-announcements@lists.nasa.gov Delivered-To: fm-announcements@lists.nasa.gov Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 08901600300 for ; Sat, 16 Aug 2014 01:24:40 -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 uAJK02eRoj7w for ; Sat, 16 Aug 2014 01:24:39 -0400 (EDT) Received: from ndjsnpf02.ndc.nasa.gov (ndjsnpf02.ndc.nasa.gov [198.117.1.122]) by lists.nasa.gov (Postfix) with ESMTP id D622B60027E for ; Sat, 16 Aug 2014 01:24:37 -0400 (EDT) Received: from ndmsppt105.ndc.nasa.gov (ndmsppt105.ndc.nasa.gov [198.117.0.70]) by ndjsnpf02.ndc.nasa.gov (Postfix) with ESMTP id F2DC6A80B0 for ; Fri, 15 Aug 2014 22:48:38 -0500 (CDT) Received: from NDMSCHT113.ndc.nasa.gov (ndmscht113-pub.ndc.nasa.gov [198.117.0.213]) by ndmsppt105.ndc.nasa.gov (8.14.5/8.14.5) with ESMTP id s7G5Oa98031779 for ; Sat, 16 Aug 2014 00:24:36 -0500 Received: from logique.ndc.nasa.gov (67.180.226.0) by smtp02.ndc.nasa.gov (198.117.0.213) with Microsoft SMTP Server (TLS) id 14.3.195.1; Sat, 16 Aug 2014 00:24:03 -0500 Message-ID: <53EEEAEF.7030002@nasa.gov> Date: Fri, 15 Aug 2014 22:23:59 -0700 From: Kristin Yvonne Rozier User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0 MIME-Version: 1.0 To: X-Originating-IP: [67.180.226.0] X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.12.52, 1.0.27, 0.0.0000 definitions=2014-08-16_01:2014-08-15,2014-08-16,1970-01-01 signatures=0 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 Highlights: Aerospace America Intelligent Systems Year In Review All, Please consider submitting a highlight about your work! It is only 150 words and it would really help to call attention to the important role of formal methods in the future of aerospace! Cheers, Kristin *********************************************** Call for Highlights Intelligent Systems 2014 Year In Review Aerospace America magazine Due date: August 25, 2014 (firm) *********************************************** This is a call for submissions for the "Year In Review" December, 2014 issue of Aerospace America magazine. We are looking for summaries of interesting aerospace applications of intelligent systems, of approximately 150 words in length, with an accompanying graphic if possible. Each highlight will be integrated within an overall narrative, so key organizations/affiliations should be identified within the text to enable proper credit to be given; including a URL for further information on your work is required. The AIAA Intelligent Systems Technical Committee will select, from among all submissions received, six that will be highlighted in the year-end issue of Aerospace America magazine. ********************************************************************* SUBMISSION: ---------- Deadline: Monday, August 25, 2014 (firm) Submit through EasyChair: https://easychair.org/conferences/?conf=yir2014 ********************************************************************* HIGHLIGHT GUIDELINES: --------------------- * 150 words * describing an advancement in research relating to aerospace intelligent systems * describing work that occurred or is projected to occur between January and December, 2014 * identifying key organizations/affiliations * including a URL for further information and a word or phrase to hyperlink it to in the onine version of the article (Please list the word, phrase, or lab name to be hyperlinked after the highlight text, with the desired URL.) * with an accompanying graphic, if possible: include after the highlight text a URL for a high-resolution JPG; include photo credit and caption ********************************************************************* IMPORTANT DATES: --------------------- * Submission Deadline: August 25, 2014 (firm) * Notification of selection for Aerospace America article: September 1, 2014 * Proofs go out for author approval of AIAA ISTC newsletter: October 1, 2014 * Aerospace America article is published: December 1, 2014 * AIAA ISTC highlight newsletter is published: December 1, 2014 ********************************************************************* ARTICLE INFORMATION: -------------------- This article will cover the most important developments this year in aerospace intelligent systems. Breakthroughs, setbacks, and industry trends that have occurred during the past year, the reasons they are important, and their impact on the aerospace community are also relevant. More information on what types of aerospace systems qualify as intelligent is available here: https://info.aiaa.org/tac/isg/ISTC/Web%20Pages/What%20Is%20An%20Intelligent%20System.aspx. Aerospace America reaches 40,000 people in a broad cross section of disciplines. highlights should be written so that all of them are able to understand the content, without acronyms if possible. ********************************************************************* BACKGROUND: ----------- The AIAA Intelligent Systems Technical Committee (ISTC) is concerned with the application of Intelligent System (IS) technologies and methods to aerospace systems, the verification and validation of these systems, and the education of the AIAA membership in the use of IS technologies in aerospace and other technical disciplines. See the Intelligent Systems Technical Committee website for more information on our technology focus: https://info.aiaa.org/tac/ISG/ISTC/default.aspx. Previous years' print articles are available at https://ti.arc.nasa.gov/dev/profile/kyrozier/publications/#MagazineArticles. This year there will be two versions: a paper article with authors' designated hyperlink text bolded and an online article with the provided URL linked. Also, with author permission, all submitted highlights (not just the six selected for the article) will be included on the AIAA ISTC website and newsletter. Requests for permission and approval of camera-ready versions will go out on October 1, 2014. -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ 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