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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B992F8011D for ; Wed, 5 Apr 2017 20:14:02 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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-f67.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rody.kersten@sv.cmu.edu) identity=pra; client-ip=74.125.83.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rody.kersten@west.cmu.edu"; x-sender="rody.kersten@sv.cmu.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rody.kersten@west.cmu.edu designates 74.125.83.67 as permitted sender) identity=mailfrom; client-ip=74.125.83.67; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pg0-f67.google.com) identity=helo; client-ip=74.125.83.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rody.kersten@west.cmu.edu"; x-sender="postmaster@mail-pg0-f67.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A9P7AzxIiF9I8wcEQldmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeLvrxwZ3uMQTl6Ol3ixeRBMOAuq4C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwpFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9Qr4uWTSm8qxlVhnmhi?= =?us-ascii?q?kaPDI96W3ai8l8gaRcrx+9qRFz35PYbJiJOPZjY6jRec4WSGpEUstXSidPAJ6z?= =?us-ascii?q?b5EXAuQcI+hYoYnzqVgAoxSwCgajBv/gxyRSiXPqx6A3yfgtHA/E0QEmAtkAsG?= =?us-ascii?q?7UrNLwNKoKTe61y7THzDXeZP1Txzj98pPIcgw/rvGKQLl9dtDRyU4yGALFlFmQ?= =?us-ascii?q?qpLqPymO1uQRrWeb6fFtVfmxi2I9tw5xpyWvyt0yhYbUm4IY01bJ/jh3zoYyIN?= =?us-ascii?q?23Uk97Ydi8HZtWrS6aLJF5TtktQ2FvpiY20qYGuYS6fCQQ1JsnwBvfZvqaeIaL?= =?us-ascii?q?+hLuTOScLDhiiH54Zr6yhwy+/Euux+HmV8S50k5GoyhEn9XWq3wA2Abf58uDR/?= =?us-ascii?q?dn40us2zeC2gbO4e9eO080j7DUK5s5z74wiJUTtUPDEzfzmErsja+Wclwo+vCn?= =?us-ascii?q?6+j7e7nmqJ6ROo1uhgHxNaQuncO/AeAmPQQUQ2eb/uG82KXi/U3/XrpKkuU7n6?= =?us-ascii?q?vWvZzAOMgXuK60DxVW34st8RqyDjWr3MwdnXYdLVJFfByHj5LuO1HLOP34F/C/?= =?us-ascii?q?jEmskTtxxPDJIKfhAo7RLnfdlrfsZrh85FBHyAov19xQ+5dUCqwbLP3tR0Dxqc?= =?us-ascii?q?TUDgUlPAys3+bnFNJ925sCVm2VB6+ZNLresVuJ5uI0P+mBf5QVuTb4K/g9/fHi?= =?us-ascii?q?l345mVkHfamox5Qbcn64Hu41a3meNGDrjsZHEmoQpRYzSsTxlhuJVCMVanqvDI?= =?us-ascii?q?wm4TRuMoWqHM/gS5q2nLGHlHOhGZFHIGNLEEuQHHHAbJvCUPIRLi+eP5kywXQ/?= =?us-ascii?q?SbG9Rtp5hlmVvwjgxu82Iw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CdDQANM+VYdENTfUpTCg4MAQEBAQIBA?= =?us-ascii?q?QEBCAEBAQEWAQEBAwEBAQkBAQGCQ4FHA3YSAYNiq2+FNIIPKYJChwpBFgEBAQE?= =?us-ascii?q?BAQEBAQEBEgEKCwwHJjGCMwqCWQYdBh0BATIGD00CAjQBBQEcEwgBARIDAolzD?= =?us-ascii?q?p5jP4sbaIImK4JdAQEFhHEHgmUqCAkBCIY8ggWEJ4JygnQMLoJfiSqHRIwHgge?= =?us-ascii?q?Ed5YlEIZbiyCHDjOBFSYJgS0lFiKFHhyBNl1VAYlIAQEB?= X-IPAS-Result: =?us-ascii?q?A0CdDQANM+VYdENTfUpTCg4MAQEBAQIBAQEBCAEBAQEWAQE?= =?us-ascii?q?BAwEBAQkBAQGCQ4FHA3YSAYNiq2+FNIIPKYJChwpBFgEBAQEBAQEBAQEBEgEKC?= =?us-ascii?q?wwHJjGCMwqCWQYdBh0BATIGD00CAjQBBQEcEwgBARIDAolzDp5jP4sbaIImK4J?= =?us-ascii?q?dAQEFhHEHgmUqCAkBCIY8ggWEJ4JygnQMLoJfiSqHRIwHggeEd5YlEIZbiyCHD?= =?us-ascii?q?jOBFSYJgS0lFiKFHhyBNl1VAYlIAQEB?= X-IronPort-AV: E=Sophos;i="5.37,279,1488841200"; d="scan'208,217";a="267884069" Received: from mail-pg0-f67.google.com ([74.125.83.67]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Apr 2017 20:14:00 +0200 Received: by mail-pg0-f67.google.com with SMTP id 79so2978943pgf.0 for ; Wed, 05 Apr 2017 11:14:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sv.cmu.edu; s=google; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to; bh=TTfSTrGvZaT68URTZXA/sSfVWAdBze4/7QJ+EZOg1cQ=; b=MhiOQnX46qXv1GSneo2zxwdxObLKmeFT/VdD9xvx1LHY1RXpFHgodyiM1jvUNvN5Ty 8K+RGmPMYMnAD012pqEK0yxGVNY1p7kX78EL7pAQVNBAYf+B2nKIUOXDGa9ecl+3DHTP 3EgalnKz2ezg59OA/EjYQ6VbOMpQsFlYQj57Q= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to; bh=TTfSTrGvZaT68URTZXA/sSfVWAdBze4/7QJ+EZOg1cQ=; b=VJijsMXBTqeyZXG0EHSVhOKHYbswwMya5JmXjAg+3ogkAklZ4CnTNBUlRNV65ipV6h iXYqXVhhLVVcEob1OXLGlRNDG+eAImt26xgb6M0iRzKRGkfl7VEhjyPKpQt569VfAkL1 2rYCCwxSzY3XUURNT93nYAZDttdHGraJGKvAs7+NNwJCK++10DucT6023aEKXC+eZitt jfiUQZYoKu7Y6pU5MXPGSIBeu1JGbDJz6Mkh1eiZ7JPPXL26JLnUI2DN3PlTImgx7rkE DJ4iMnJk0pB2jkM7g+kE0/278sqYcL87jOF0Bs8ZR9GQzpvBY/WozDYhhgLgkNkNw6GZ e69A== X-Gm-Message-State: AFeK/H0jnpSTH34kmheuISKGqKFa5BAAkI7KZ4wEPPd4DR6MiaYIf0mW2FdR9Odor36UP5sP X-Received: by 10.98.63.24 with SMTP id m24mr30990739pfa.143.1491416038660; Wed, 05 Apr 2017 11:13:58 -0700 (PDT) Received: from [192.168.1.106] (76-14-89-176.sf-cable.astound.net. [76.14.89.176]) by smtp.gmail.com with ESMTPSA id l126sm38833822pfl.56.2017.04.05.11.13.54 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 05 Apr 2017 11:13:57 -0700 (PDT) To: rody.kersten@sv.cmu.edu References: From: Rody Kersten Message-ID: <2a996957-a710-a6de-9efe-7895dbbba4b9@sv.cmu.edu> Date: Wed, 5 Apr 2017 11:13:53 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/alternative; boundary="------------8A7407CC211E1D0C26D870F1" Subject: [Caml-list] NFM 2017 - 2nd Call For Participation This is a multi-part message in MIME format. --------------8A7407CC211E1D0C26D870F1 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit NFM 2017 - 2nd 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 Program is now available. NFM'17 is free to attend, but note that registration is required. *Theme* 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 *Program* The symposium schedule is now available at https://ti.arc.nasa.gov/events/nfm-2017/schedule/ *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) --------------8A7407CC211E1D0C26D870F1 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit

NFM 2017 - 2nd 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

Program is now available. NFM'17 is free to attend, but note that registration is required.

Theme

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

Program

The symposium schedule is now available at https://ti.arc.nasa.gov/events/nfm-2017/schedule/
 
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)
--------------8A7407CC211E1D0C26D870F1--