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 CF2F37F616 for ; Tue, 21 Feb 2017 22:54:08 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rody.kersten@sv.cmu.edu; spf=Pass smtp.mailfrom=rody.kersten@west.cmu.edu; spf=None smtp.helo=postmaster@mail-pg0-f65.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rody.kersten@sv.cmu.edu) identity=pra; client-ip=74.125.83.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rody.kersten@west.cmu.edu"; x-sender="rody.kersten@sv.cmu.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of rody.kersten@west.cmu.edu designates 74.125.83.65 as permitted sender) identity=mailfrom; client-ip=74.125.83.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rody.kersten@west.cmu.edu"; x-sender="rody.kersten@west.cmu.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pg0-f65.google.com) identity=helo; client-ip=74.125.83.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rody.kersten@west.cmu.edu"; x-sender="postmaster@mail-pg0-f65.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ALtCf3hM+Aj0/5vo0sGAl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Ivr7rarrMEGX3/hxlliBBdydsKMZzbOK+Pm9AyQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Yb5+Ngi6oAreusULgYZuNLs6xwfUrHdPZ+?= =?us-ascii?q?lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRne?= =?us-ascii?q?VgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gy?= =?us-ascii?q?gJLT459HzchNJ2gqxVvRmtowVzzo/RbIyTM/VzYq3Qcc8HSWZYQspdSjFKDoeh?= =?us-ascii?q?Y4YPCuYMO/tToYvgqFsUtRawGwmiCv7sxDFGiHD50rE13v87Hg3axgEtBc4CvX?= =?us-ascii?q?rWodjzKawcUfq1zK7NzTjbc/1W3iry6YjVeR4kv/6MR6lwcdbPxkkpCgjIiU+Q?= =?us-ascii?q?qYv4MDKVzOgNsHaU7/B7VeKzlWEnrRp8oiOxxss2lobJg58Vxkra+ipk3YY4PN?= =?us-ascii?q?u1Q1N1b96jFZtfrSCaN41uT8MkWW5oozw1xqcJuZ68YigG0I8nxwTea/Cdb4eI?= =?us-ascii?q?5RfjWeCMKjl7nHJoYLCyihmo/US91OHxVtO43VVEoyZfk9TBtmgB2wLP5sWDUP?= =?us-ascii?q?dx41mt1DKV2wzN5exJLlo4mbffJpI/xLM7i4Advl7ZHiDsnUX7lK+WeVsg+uiv?= =?us-ascii?q?8+nnZ6/ppp6YN4NtkgH+PbgiltWxAek5MgUCRWeb+eO71L3s+U32Xq9GgeExkq?= =?us-ascii?q?ncqJzaJMIbqbClAwJN0Isu5AyzAyq43NkYh3UKL1xIdAiGgoXpI13OJer3Dfa7?= =?us-ascii?q?g1SiijdrwPXGM6X7ApXKM3fCkK3tfbVj5E5G0woz0c5Q55RPB7APPv3zQVPxuM?= =?us-ascii?q?bEAR88Lgy42fjoB8hg1o8GQ2KAHreZML/OsV+P/u8gP/ODZIoRuDrkL/gl5uXu?= =?us-ascii?q?jWMilF8Gfaip2IMXZ2qiEvRnJUWZe3vsjc0bHWcEpAptBNDt3UeFXS8VZHuoRL?= =?us-ascii?q?4x4BkgFsStCJqFS4yw05Kb2yLuJJpadyhlB0qXDXruP9GeXPsdLiGfONR9nzos?= =?us-ascii?q?TqbnQIo8kxyiqVmpmPJcMuPI93hA5trY399v6riCmA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AWCQCotaxYf0FTfUpUCg4QBgwZBgyCR?= =?us-ascii?q?IFDAydOAQEPAYNarCaHOimCQoYpQhUBAQEBAQEBAQEBARIBAQkLCwobMYIzCoJ?= =?us-ascii?q?XBh0BATIGXAI2AQUBLwgBARIDAolTDqJRP4sbaIImK4JdAQEFhH8Hg1UICQEIh?= =?us-ascii?q?jqCBYQmgnCCdAwugl+JFIc4i0SCAoRylWAPhkuKZYZ5MoEVNYEiIBQhUWMMgws?= =?us-ascii?q?BCzUcgTZcVAGKOQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AWCQCotaxYf0FTfUpUCg4QBgwZBgyCRIFDAydOAQEPAYN?= =?us-ascii?q?arCaHOimCQoYpQhUBAQEBAQEBAQEBARIBAQkLCwobMYIzCoJXBh0BATIGXAI2A?= =?us-ascii?q?QUBLwgBARIDAolTDqJRP4sbaIImK4JdAQEFhH8Hg1UICQEIhjqCBYQmgnCCdAw?= =?us-ascii?q?ugl+JFIc4i0SCAoRylWAPhkuKZYZ5MoEVNYEiIBQhUWMMgwsBCzUcgTZcVAGKO?= =?us-ascii?q?QEBAQ?= X-IronPort-AV: E=Sophos;i="5.35,191,1484002800"; d="scan'208,217";a="214270545" Received: from mail-pg0-f65.google.com ([74.125.83.65]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 21 Feb 2017 22:54:06 +0100 Received: by mail-pg0-f65.google.com with SMTP id 5so20148776pgj.0 for ; Tue, 21 Feb 2017 13:54:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sv.cmu.edu; s=google; h=to:from:subject:message-id:date:user-agent:mime-version; bh=WOTUJ80P6OzJsGpu1pdIUdVCulvnNDhdQBpdVXBoOaQ=; b=SXGfTtR7S7VSEVKO9uJrW+VzJSY8LdkSutwHbrZuqEWW8mTf59QnGl0+brDZiwEg2U 7VTumnh4ccWxxeXiI+UZqMv5HIfJeSVEuWANoglASfAHP40vtA3HI8qajP4E9w2tNZqG O5Z0fegdKgJ2rhQe7sFeUB3xrhjBw/xYDpLgs= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version; bh=WOTUJ80P6OzJsGpu1pdIUdVCulvnNDhdQBpdVXBoOaQ=; b=crA/rr7i/Yq1PFCO2atsLOITl+yaPtdzB1W0EvT006yFhllshutDW9JJRls/j/AOP2 /AkVB0ZHViIY2jUXpvVwQXBRZJ3RDTJd9VfGjp/5I89GXwlFq+IoswXLD4XhhXcCRt5S mB9Kq+fm3NGlDsM7ESzyhitMEhMuHuqcj11GgDGbP7BK1sbxa2iLV8Y2uAJRCj2M25WS rrc5qAFe+hXnar7Kq1FI1rwkpSR7WODiaTsA3+gaSD37ith8txv+jGUxZVTL7H3ln9mt ZkHXcvBMin4nK8xSMvT/GKdh0UmzXGsJCQmsaoeOXaCIwfoRUJeY6k5ZyYB8pT5KlJry l4bA== X-Gm-Message-State: AMke39mg9AVk1rgr1TOY6AQzy+xo3F3tTPU5ggb//Al0m9EYxoDqASgzscTbg2UsT2HPsNx7 X-Received: by 10.98.207.193 with SMTP id b184mr36161811pfg.12.1487714044056; Tue, 21 Feb 2017 13:54:04 -0800 (PST) Received: from [172.29.95.185] (nat-cmu-secure.sv.cmu.edu. [209.129.244.192]) by smtp.gmail.com with ESMTPSA id m20sm43062435pgd.17.2017.02.21.13.54.00 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 21 Feb 2017 13:54:02 -0800 (PST) To: rody.kersten@sv.cmu.edu From: Rody Kersten Message-ID: Date: Tue, 21 Feb 2017 13:54:00 -0800 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------3AA40F731C230AD1C34E3F54" Subject: [Caml-list] NFM 2017 - Call For Participation This is a multi-part message in MIME format. --------------3AA40F731C230AD1C34E3F54 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit NFM 2017 - Call For Participation The 9th NASA Formal Methods Symposium ------------------------------------- https://ti.arc.nasa.gov/events/nfm-2017/ May 16 - 18, 2017 NASA Ames Research Center Moffett Field, CA, USA The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM’s goals are to identify challenges and to provide solutions for achieving assurance for mission-critical and safety-critical systems at NASA and in the aerospace industry. The focus of the symposium will be on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. *Keynote speakers* * Michael Wagner, Carnegie Mellon University * Ben Haldeman, Planet Labs * Manu Sridharan, Uber Technologies Inc. * Jason Crusan, NASA Advanced Exploration Systems Division * Alexandre Arnold, Airbus *Accepted papers* A total of 31 excellent papers were accepted. The full list can be found here: https://ti.arc.nasa.gov/events/nfm-2017/papers/ *Registration* NFM 2017 will be held at NASA Ames Research Center, Moffett Field, CA on May 16 to 18, 2017. There will not be a registration fee charged to 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 via the link below. Foreign Nationals will need to send extra information and allow at least three weeks for processing time after all of the information has been received. Register here: https://ti.arc.nasa.gov/events/nfm-2017/registration/ Co-located event: AFM Workshop 2017 AFM is a one-day workshop centered around the use and integration of highly automated formal verification tools for specification, interactive theorem proving, satisfiability (SAT) and satisfiability modulo theories (SMT), model checking, program verification, static analysis, runtime verification, code generation, and testing, as well as interfaces, documentation, and education. AFM functions both as a user's meeting for SRI's tools such as PVS, SAL and Yices, and as a workshop for those interested in state of the art automation for formal methods generally. Paper deadline: March 27, 2017 Workshop: May 19, 2017 More information: http://fm.csl.sri.com/AFM17/ Organization General Chair Misty Davis (NASA Ames) Program Chairs Clark Barrett (Stanford University) Temesghen Kahsai (NASA Ames / CMU Silicon Valley) Local Organization Guy Katz (Stanford University) Rody Kersten (CMU Silicon Valley) --------------3AA40F731C230AD1C34E3F54 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit

NFM 2017 - Call For Participation
The 9th NASA Formal Methods Symposium
-------------------------------------
https://ti.arc.nasa.gov/events/nfm-2017/
May 16 - 18, 2017
NASA Ames Research Center
Moffett Field, CA, USA


The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM’s goals are to identify challenges and to provide solutions for achieving assurance for mission-critical and safety-critical systems at NASA and in the aerospace industry. The focus of the symposium will be on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Keynote speakers

* Michael Wagner, Carnegie Mellon University
* Ben Haldeman, Planet Labs
* Manu Sridharan, Uber Technologies Inc.
* Jason Crusan, NASA Advanced Exploration Systems Division
* Alexandre Arnold, Airbus

Accepted papers

A total of 31 excellent papers were accepted. The full list can be found here: https://ti.arc.nasa.gov/events/nfm-2017/papers/

Registration

NFM 2017 will be held at NASA Ames Research Center, Moffett Field, CA on May 16 to 18, 2017. There will not be a registration fee charged to 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 via the link below. Foreign Nationals will need to send extra information and allow at least three weeks for processing time after all of the information has been received.

Register here: https://ti.arc.nasa.gov/events/nfm-2017/registration/

Co-located event: AFM Workshop 2017

AFM is a one-day workshop centered around the use and integration of highly automated formal verification tools for specification, interactive theorem proving, satisfiability (SAT) and satisfiability modulo theories (SMT), model checking, program verification, static analysis, runtime verification, code generation, and testing, as well as interfaces, documentation, and education. AFM functions both as a user's meeting for SRI's tools such as PVS, SAL and Yices, and as a workshop for those interested in state of the art automation for formal methods generally.

Paper deadline: March 27, 2017
Workshop: May 19, 2017
More information: http://fm.csl.sri.com/AFM17/

Organization

General Chair
Misty Davis (NASA Ames)

Program Chairs
Clark Barrett (Stanford University)
Temesghen Kahsai (NASA Ames / CMU Silicon Valley)

Local Organization
Guy Katz (Stanford University)
Rody Kersten (CMU Silicon Valley)
--------------3AA40F731C230AD1C34E3F54--