From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 02B387EEF9 for ; Thu, 5 May 2016 15:02:38 +0200 (CEST) IronPort-PHdr: 9a23:l33CZheSDqHHof4+F0NBSjtalGMj4u6mDksu8pMizoh2WeGdxci/YR7h7PlgxGXEQZ/co6odzbGG4ua4BSddu96oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDjvcWPKFgSzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IbL/+N5gcYfQYSW1+cjN92cvwqBOWTReT/mBOFSISkwFUGE7D5QrzGJj2rGz/v+t53SCcesruUbEzXy/l4aIuQRnujzoBPDM8/WfLkZ9NirlGqkekrh1734mGboTQPfx4eb7bdt4fSGxdRYNLWjVcD5igR48OFPYae+BRtIC7qFwQ+gCjDwuhD/+61zlTm3Xt1rc72elyLQaTlgIlWtsItnPJqt74MaoUTfudyKjT0S6FafpN0HHy75aCOkQvpLSFW7R3bMzaxEwiER/eplGRspD+eTWcze1LvG+FublOT+Wq3iQHoh98piWpyoNkqY3Am5ldiguYpQ84is5hBtmxVVU9Qde6HZ9NsS2yNZNyBMUrWGgutyEknO5V8aWndTQHncx0jyXUbOaKJs3Ruh8= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fm-announcements-bounces@lists.nasa.gov; spf=Pass smtp.mailfrom=fm-announcements-bounces@lists.nasa.gov; spf=Pass smtp.helo=postmaster@lists.nasa.gov Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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: A0BRAAAsQytXkOX5nIBegmyBH00HKQEFuSsBDYINAQqHIDgUAQEBAQEBAQERAQEBAQkLCQkhJAuCLYIWBQEBARopCAIWCA4DAQIGAgEBQgQIAwEkCQEnBBMFFgIEiAkFCb8FAQsehiGGBAGCVxEBhXUFmBkBAYV7hTCDYHVOg3+CeIVmh2eHSyABAYJUgVlsAYckNgF+AQEB X-IPAS-Result: A0BRAAAsQytXkOX5nIBegmyBH00HKQEFuSsBDYINAQqHIDgUAQEBAQEBAQERAQEBAQkLCQkhJAuCLYIWBQEBARopCAIWCA4DAQIGAgEBQgQIAwEkCQEnBBMFFgIEiAkFCb8FAQsehiGGBAGCVxEBhXUFmBkBAYV7hTCDYHVOg3+CeIVmh2eHSyABAYJUgVlsAYckNgF+AQEB X-IronPort-AV: E=Sophos;i="5.24,582,1454972400"; d="scan'208,217";a="217076778" Received: from lists.nasa.gov ([128.156.249.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 05 May 2016 15:02:36 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 6AB48602976; Thu, 5 May 2016 09:01:10 -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 oclVFuWelEtL; Thu, 5 May 2016 09:01:10 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 4B01C60248B; Thu, 5 May 2016 09:01:05 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 2CFB76021B8 for ; Thu, 5 May 2016 09:01:01 -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 Qf27wEtrIZ8l for ; Thu, 5 May 2016 09:01:01 -0400 (EDT) Received: from mail.jpl.nasa.gov (sentrion3.jpl.nasa.gov [128.149.139.109]) by lists.nasa.gov (Postfix) with ESMTPS id 7DA08602354 for ; Thu, 5 May 2016 09:00:58 -0400 (EDT) Received: from mail.jpl.nasa.gov (ap-ehub-sp02.jpl.nasa.gov [128.149.137.149]) by smtp.jpl.nasa.gov (Sentrion-MTA-4.3.1/Sentrion-MTA-4.3.1) with ESMTP id u45D0u5M022589 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256 bits) verified NO) for ; Thu, 5 May 2016 06:00:57 -0700 Received: from AP-EMBX-SP20.RES.AD.JPL ([169.254.8.117]) by ap-ehub-sp02.RES.AD.JPL ([fe80::dd85:7b07:1e36:7e3c%15]) with mapi id 14.03.0279.002; Thu, 5 May 2016 06:00:56 -0700 From: "Havelund, Klaus (348B)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: NFM 2016 - Call for participation Thread-Index: AQHRps4pRpCv4L8LXUO3pFmMFc2WFw== Date: Thu, 5 May 2016 13:00:55 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.6.0.151221 x-originating-ip: [128.149.137.81] MIME-Version: 1.0 X-Source-Sender: Klaus.Havelund@jpl.nasa.gov X-AUTH: Authorized 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-Type: multipart/mixed; boundary="===============2744989595958960743==" Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: klaus.havelund@jpl.nasa.gov Subject: [Caml-list] [fm-announcements] NFM 2016 - Call for participation --===============2744989595958960743== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_D350921412C0Cklaushavelundjplnasagov_" --_000_D350921412C0Cklaushavelundjplnasagov_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable ******************************************************************** CALL FOR PARTICIPATION The 8th NASA Formal Methods Symposium June 7 - June 9, 2016 McNamara Alumni Center University of Minnesota Minneapolis, MN http://crisys.cs.umn.edu/nfm2016 ******************************************************************** REGISTRATION ... is FREE! All interested individuals, including non-US citizens, are welcome to atten= d. All participants must register but there is no registration fee. Please = register online at http://crisys.cs.umn.edu/nfm2016/REGISTRATION We strongly encourage participants to register early and reserve accommodat= ions. A block of hotel rooms are reserved at The Commons Hotel until May 7,= 2016. THEME OF THE SYMPOSIUM The NASA Formal Methods Symposium is a forum to foster collaboration betwee= n theoreticians and practitioners from NASA, academia, and the aerospace in= dustry, with the goal of identifying challenges and providing solutions tow= ards achieving assurance for safety- and mission-critical systems. We have assembled an exciting 3-day program featuring * Oral presentations of 29 peer-reviewed papers * Three prominent keynote speakers * Tool demonstrations * Breakout sessions on applications of formal methods to future NASA miss= ions * Ample opportunities for networking and socializing KEYNOTES * Michael L. Aguilar (NASA Technical Fellow): "Where Formal Methods Might= Find Application on Future NASA Missions=94 * Kevin Driscoll (Honeywell): "Murphy Was Here" * Kathleen Fisher (Tufts University): "Using Formal Methods to Eliminate = Exploitable Bugs" ACCEPTED PAPERS The program features 19 regular and 10 short/tool papers on : * Requirements and architectures * Model checking and verification * Theorem proving and proofs * Testing and runtime enforcement * Synthesis and code generation * Applications of formal methods * Certification and correctness List of all accepted papers: http://crisys.cs.umn.edu/nfm2016/accepted/ ORGANIZING COMMITTEE Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair) Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair) Sanjai Rayadurgam, University of Minnesota, USA (PC Chair) Mike Whalen, University of Minnesota, USA (Financial Chair) Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair) PROGRAM COMMITTEE Julia Badger, NASA Johnson Space Center, USA Clark Barrett, New York University, USA Saddek Bensalem, Verimag and University Joseph Fourier, France Dirk Beyer, University of Passau, Germany Borzoo Bonakdarpour, McMaster University, Canada Alessandro Cimatti, FBK, Italy Darren Cofer, Rockwell Collins, Inc., USA Myra Cohen, University of Nebraska-Lincoln, USA Misty Davies, NASA Ames Research Center, USA Leonardo de Moura, Microsoft, USA Ben Di Vito, NASA Langley Research Center, USA Alexandre Duret-Lutz, LRDE / EPITA, France Andrew Gacek, Rockwell Collins, Inc., USA Pierre-Loic Garoche, ONERA, France Shalini Ghosh, SRI International, USA Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France Radu Grosu, Stony Brook University, USA Arie Gurfinkel, SEI, Carnegie Mellon University, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Constance Heitmeyer, Naval Research Laboratory, USA Gerard Holzmann, NASA Jet Propulsion Laboratory, USA Falk Howar, TU Clausthal / IPSSE, Germany Rajeev Joshi, NASA Jet Propulsion Laboratory, USA Dejan Jovanovi#, SRI International, USA Gerwin Klein, NICTA and University of New South Wales, Australia Daniel Kroening, University of Oxford, UK Rahul Kumar, NASA Jet Propulsion Laboratory, USA Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) C=C8lia Martinie, ICS-IRIT, Universite Paul Sabatier, France Eric Mercer, Brigham Young University, USA Cesar Munoz, NASA Langley Research Center, USA Jorge A Navas, SGT, Inc./NASA Ames Research Center, USA Natasha Neogi, NASA Langley Research Center, USA Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA Charles Pecheur, Universite catholique de Louvain, Belgium Lee Pike, Galois, Inc., USA Andreas Podelski, University of Freiburg, Germany Pavithra Prabhakar, Kansas State University, USA Venkatesh Prasad Ranganath, Kansas State University, USA Franco Raimondi, Middlesex University, UK Kristin Yvonne Rozier, University of Cincinnati, USA Neha Rungta, SGT, Inc./NASA Ames Research Center, USA Oleg Sokolsky, University of Pennsylvania, USA Stefano Tonetta, FBK, Italy Willem Visser, Stellenbosch University, South Africa Virginie Wiels, ONERA / DTIM, France Guowei Yang, Texas State University, USA STEERING COMMITTEE Julia Badger, NASA Johnson Space Center, USA Ben Di Vito, NASA Langley Research Center, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Gerard Holzmann, NASA Jet Propulsion Laboratory, USA Michael Lowry, NASA Ames Research Center, USA Kristin Yvonne Rozier, University of Cincinnati, USA Johann Schumann, SGT, Inc./NASA Ames Research Center, USA --_000_D350921412C0Cklaushavelundjplnasagov_ Content-Type: text/html; charset="Windows-1252" Content-ID: <53E6AC5CCBF633488B240FCB17C9A78E@ad.jpl> Content-Transfer-Encoding: quoted-printable

********************************************************************
                    =  CALL FOR PARTICIPATION
             The 8th NASA Formal Me= thods Symposium

                    =  June 7 - June 9, 2016

                    = McNamara Alumni Center 
                   U= niversity of Minnesota 
                    =   Minneapolis, MN

              http://crisys.cs.umn.= edu/nfm2016
********************************************************************

REGISTRATION 

... is FREE!
All interested individuals, including non-US citizens, are welcome to = attend. All participants must register but there is no registration fee. Pl= ease register online at

      http://crisys.cs.umn.edu/nfm2016/REGISTRATION

We strongly encourage participants to register early and reserve accom= modations. A block of hotel rooms are reserved at The Commons Hotel until M= ay 7, 2016.


THEME OF THE SYMPOSIUM

The NASA Formal Methods Symposium is a forum to foster collaboration b= etween theoreticians and practitioners from NASA, academia, and the aerospa= ce industry, with the goal of identifying challenges and providing solution= s towards achieving assurance for safety- and mission-critical systems.

We have assembled an exciting 3-day program featuring
  * Oral presentations of 29 peer-reviewed papers
  * Three prominent keynote speakers
  * Tool demonstrations
  * Breakout sessions on applications of formal methods to future= NASA missions
  * Ample opportunities for networking and socializing


KEYNOTES

  * Michael L. Aguilar (NASA Technical Fellow): "Where Forma= l Methods Might Find Application on Future NASA Missions=94

  * Kevin Driscoll (Honeywell): "Murphy Was Here"

  * Kathleen Fisher (Tufts University): "Using Formal Method= s to Eliminate Exploitable Bugs"


ACCEPTED PAPERS

The program features 19 regular and 10 short/tool papers on :

  * Requirements and architectures
  * Model checking and verification
  * Theorem proving and proofs
  * Testing and runtime enforcement
  * Synthesis and code generation
  * Applications of formal methods
  * Certification and correctness

List of all accepted papers: http://crisys.cs.umn.edu/nfm2016/accepted= /


ORGANIZING COMMITTEE

Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)
Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Cha= ir)
Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair)
Sanjai Rayadurgam, University of Minnesota, USA (PC Chair)
Mike Whalen, University of Minnesota, USA (Financial Chair)
Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair)=


PROGRAM COMMITTEE

Julia Badger, NASA Johnson Space Center, USA
Clark Barrett, New York University, USA
Saddek Bensalem, Verimag and University Joseph Fourier, France
Dirk Beyer, University of Passau, Germany
Borzoo Bonakdarpour, McMaster University, Canada
Alessandro Cimatti, FBK, Italy
Darren Cofer, Rockwell Collins, Inc., USA
Myra Cohen, University of Nebraska-Lincoln, USA
Misty Davies, NASA Ames Research Center, USA
Leonardo de Moura, Microsoft, USA
Ben Di Vito, NASA Langley Research Center, USA
Alexandre Duret-Lutz, LRDE / EPITA, France
Andrew Gacek, Rockwell Collins, Inc., USA
Pierre-Loic Garoche, ONERA, France
Shalini Ghosh, SRI International, USA
Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France
Radu Grosu, Stony Brook University, USA
Arie Gurfinkel, SEI, Carnegie Mellon University, USA
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Constance Heitmeyer, Naval Research Laboratory, USA
Gerard Holzmann, NASA Jet Propulsion Laboratory, USA
Falk Howar, TU Clausthal / IPSSE, Germany
Rajeev Joshi, NASA Jet Propulsion Laboratory, USA
Dejan Jovanovi#, SRI International, USA
Gerwin Klein, NICTA and University of New South Wales, Australia
Daniel Kroening, University of Oxford, UK
Rahul Kumar, NASA Jet Propulsion Laboratory, USA
Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)
C=C8lia Martinie, ICS-IRIT, Universite Paul Sabatier, France
Eric Mercer, Brigham Young University, USA
Cesar Munoz, NASA Langley Research Center, USA
Jorge A Navas, SGT, Inc./NASA Ames Research Center, USA
Natasha Neogi, NASA Langley Research Center, USA
Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA
Charles Pecheur, Universite catholique de Louvain, Belgium
Lee Pike, Galois, Inc., USA
Andreas Podelski, University of Freiburg, Germany
Pavithra Prabhakar, Kansas State University, USA
Venkatesh Prasad Ranganath, Kansas State University, USA
Franco Raimondi, Middlesex University, UK
Kristin Yvonne Rozier, University of Cincinnati, USA
Neha Rungta, SGT, Inc./NASA Ames Research Center, USA
Oleg Sokolsky, University of Pennsylvania, USA
Stefano Tonetta, FBK, Italy
Willem Visser, Stellenbosch University, South Africa
Virginie Wiels, ONERA / DTIM, France
Guowei Yang, Texas State University, USA


STEERING COMMITTEE

Julia Badger, NASA Johnson Space Center, USA
Ben Di Vito, NASA Langley Research Center, USA
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Gerard Holzmann, NASA Jet Propulsion Laboratory, USA
Michael Lowry, NASA Ames Research Center, USA
Kristin Yvonne Rozier, University of Cincinnati, USA
Johann Schumann, SGT, Inc./NASA Ames Research Center, USA

--_000_D350921412C0Cklaushavelundjplnasagov_-- --===============2744989595958960743== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --- 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 --===============2744989595958960743==--