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 8F2727EE48 for ; Thu, 19 Feb 2015 16:03:52 +0100 (CET) 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: PermError (mail3-smtp-sop.national.inria.fr: cannot correctly interpret sender authenticity information from domain of fm-announcements-bounces@lists.nasa.gov) 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 Received-SPF: PermError (mail3-smtp-sop.national.inria.fr: cannot correctly interpret sender authenticity information from domain of postmaster@lists.nasa.gov) 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-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DjAQAA++VUnOX5nIBbFoItgRVawH2BZAEJhXGBI0MBAQEBAQEQAQEBAQEGDQkJFC6EEQYBARopCAIWCA4DAQIGAhoqBAgDASQJPwUWAgSIDg3TGgEBAQEdjEwBgk4KBAMBTII4DEAdgRQFhFqFGFKIGEuDRoJsTDiCW4IdD4ZHhgGCM4IATgGBAQIHFwaBGwEBAQ X-IPAS-Result: A0DjAQAA++VUnOX5nIBbFoItgRVawH2BZAEJhXGBI0MBAQEBAQEQAQEBAQEGDQkJFC6EEQYBARopCAIWCA4DAQIGAhoqBAgDASQJPwUWAgSIDg3TGgEBAQEdjEwBgk4KBAMBTII4DEAdgRQFhFqFGFKIGEuDRoJsTDiCW4IdD4ZHhgGCM4IATgGBAQIHFwaBGwEBAQ X-IronPort-AV: E=Sophos;i="5.09,609,1418079600"; d="scan'208,217";a="100630364" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 19 Feb 2015 16:03:21 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 046686024D3; Thu, 19 Feb 2015 10:01:45 -0500 (EST) 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 3qvfAdsMGnWT; Thu, 19 Feb 2015 10:01:44 -0500 (EST) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id BCD1E6022EF; Thu, 19 Feb 2015 10:01:41 -0500 (EST) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 80ECE601A93 for ; Thu, 19 Feb 2015 10:01:38 -0500 (EST) 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 juWrfmAPtxr8 for ; Thu, 19 Feb 2015 10:01:38 -0500 (EST) Received: from mail.jpl.nasa.gov (sentrion1.jpl.nasa.gov [128.149.139.105]) by lists.nasa.gov (Postfix) with ESMTPS id 21A2E602252 for ; Thu, 19 Feb 2015 10:01:37 -0500 (EST) Received: from [192.168.0.3] (cpe-76-168-140-36.socal.res.rr.com [76.168.140.36]) (authenticated (0 bits)) by smtp.jpl.nasa.gov (Sentrion-MTA-4.3.1/Sentrion-MTA-4.3.1) with ESMTP id t1JF1YFS002037 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256 bits) verified NO) for ; Thu, 19 Feb 2015 07:01:35 -0800 From: Klaus Havelund Message-Id: <4F03349B-45FC-4A97-88CC-DAEA082838F1@jpl.nasa.gov> Date: Thu, 19 Feb 2015 07:01:34 -0800 To: fm-announcements@lists.nasa.gov Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) X-Source-Sender: klaus.havelund@jpl.nasa.gov X-JPL-Spam-Score': 80% 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="===============7254818479875148328==" 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 2015 - CALL FOR PARTICIPATION --===============7254818479875148328== Content-Type: multipart/alternative; boundary="Apple-Mail=_2A1CB25C-E8A8-4E23-96E4-775AB0C4E5CD" --Apple-Mail=_2A1CB25C-E8A8-4E23-96E4-775AB0C4E5CD Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 NFM 2015 CALL FOR PARTICIPATION The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 =96 29 April 2015 Pasadena, California, USA THEME The widespread use and increasing complexity of mission- and safety-critica= l systems require advanced techniques that address their specification, ver= ification, validation, and certification. The NASA Formal Methods Symposium= is a forum for theoreticians and practitioners from academia, industry, an= d government, with the goals of identifying challenges and providing soluti= ons to achieving assurance in mission- and safety-critical systems. The foc= us of the symposium is on formal methods, and aims to foster collaboration = between NASA researchers and engineers and the wider aerospace and academic= formal methods communities.=20 TOPICS Topics of interest include, but are not limited to: Model checking Theorem proving SAT and SMT solving Symbolic execution Static analysis Runtime verification Systematic testing Program refinement Compositional verification Modeling and specification formalisms Model-based development Model-based testing Requirement engineering Formal approaches to fault tolerance Security and intrusion detection Applications of formal methods INVITED SPEAKERS Dino Distefano Software Engineer at Facebook, California, USA and Professor at Queen Mary = University of London, UK. Viktor Kuncak Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerla= nd. Rob Manning Chief Engineer at NASA/JPL. LOCATION, COST, REGISTRATION AND HOTEL ROOM BOOKING The symposium will take place at the Hilton Hotel, Pasadena, California, US= A, April 27-29, 2015. There will be no registration fee for participants.=20 All interested individuals, including non-US citizens, are welcome to atten= d; however, all attendees must register (but please only register if you in= tend to attend). Registration form and hotel booking websites are reachable= from the main website. A block of rooms at a low price are reserved with b= ooking deadline of March 26. PC CHAIRS Klaus Havelund, NASA Jet Propulsion Laboratory, USA Gerard Holzmann, NASA Jet Propulsion Laboratory, USA Rajeev Joshi, NASA Jet Propulsion Laboratory, USA PUBLICITY SUPPORT Ylies Falcone, Universit=E9 Joseph Fourier, France PROGRAMME COMMITTEE Erika Abraham, RWTH Aachen University, Germany Julia Badger, NASA Johnson Space Center, USA Christel Baier, Technische Universit=E4t Dresden, Germany Saddek Bensalem, VERIMAG/UJF, France Dirk Beyer, University of Passau, Germany Armin Biere, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Borzoo Bonakdarpour, McMaster University, Canada Alessandro Cimatti, Fondazione Bruno Kessler, Italy Leonardo de Moura, Microsoft Research, USA Ewen Denney, NASA Ames Research Center, USA Ben Di Vito, NASA Langley Research Center, USA Dawson Engler, Stanford University, USA Jean-Christophe Filliatre, Universit=E9 Paris-Sud, France Dimitra Giannakopoulou, NASA Ames Research Center, USA Alwyn Goodloe, NASA Langley Research Center, USA Susanne Graf, VERIMAG, France Alex Groce, Oregon State University, USA Radu Grosu, Vienna University of Technology, Austria John Harrison, Intel Corporation, USA Mike Hinchey, University of Limerick/Lero, Ireland Bart Jacobs, University of Leuven, Belgium Sarfraz Khurshid, The University of Texas at Austin, USA Gerwin Klein, NICTA, Australia Daniel Kroening, Oxford University, UK Orna Kupferman, Hebrew University Jerusalem, Israel Kim Larsen, Aalborg University, Denmark Rustan Leino, Microsoft Research, USA Martin Leucker, University of Lubeck, Germany Rupak Majumdar, Max Planck Institute, Germany Pete Manolios, Northeastern University, USA Peter Mueller, ETH Zurich, Switzerland Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA Corina Pasareanu, NASA Ames Research Center, USA Doron Peled, Bar Ilan University, Israel Suzette Person, NASA Langley Research Center, USA Andreas Podelski, University of Freiburg, Germany Grigore Rosu, University of Illinois, USA Kristin Yvonne Rozier, NASA Ames Research Center, USA Natarajan Shankar, SRI International, USA Natasha Sharygina, University of Lugano, Switzerland Scott Smolka, Stony Brook University, USA Willem Visser, University of Stellenbosch, South Africa Mahesh Viswanathan, University of Illinois, USA Mike Whalen, University of Minnesota, USA Jim Woodcock, University of York, UK STEERING COMMITTEE Julia Badger, NASA Johnson Space Center Ewen Denney, NASA Ames Research Center Ben Di Vito, NASA Langley Research Center Klaus Havelund, NASA Jet Propulsion Laboratory Gerard Holzmann, NASA Jet Propulsion Laboratory Cesar Munoz, NASA Langley Research Center Corina Pasareanu, NASA Ames Research Center Suzette Person, NASA Langley Research Center Kristin Yvonne Rozier, NASA Ames Research Center= --Apple-Mail=_2A1CB25C-E8A8-4E23-96E4-775AB0C4E5CD Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252

NFM 2015=

CALL FOR PARTICIPA= TION

The 7th NASA Formal Met= hods Symposium

       htt=
p://www.NASAFormalMethods.org/nfm2015

27 =96 29 April 2015
Pa= sadena, California, USA

THEME

The widespre= ad use and increasing complexity of mission- and safety-critical systems re= quire advanced techniques that address their specification, verification, v= alidation, and certification. 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 achie= ving assurance in mission- and safety-critical systems. The focus of the sy= mposium is on formal methods, and aims to foster collaboration between NASA= researchers and engineers and the wider aerospace and academic formal meth= ods communities. 

TOPICS

Topics of in= terest include, but are not limited to:

    <= li style=3D"border: 0px; font-family: inherit; font-style: inherit; margin:= 0px; outline: 0px; padding: 0px; vertical-align: baseline;">Model checking=
  • Theorem = proving
  • S= AT and SMT solving
  • Symbolic execution
  • Static analysis
  • Runtime verification
  • Systematic testing
  • Program refinement
    • Compositional ve= rification
  • Model-based development
  • Model-based testing
  • Requirement engine= ering
  • For= mal approaches to fault tolerance
  • Security and intrusion detection
  • Applications of formal met= hods

INV= ITED SPEAKERS

Dino Distefano
Software Eng= ineer at Facebook, California, USA and Professor at Queen Mary University o= f London, UK.

Viktor Kuncak
Leads Lab for Automa= ted Reasoning and Analysis at EPFL, Lausanne, Switzerland.

Rob Manning
Chief Engineer at NASA/JPL.

LOCATION, COST,= REGISTRATION AND HOTEL ROOM BOOKING

The symposium will take place at the Hilton Hotel, Pasadena, Calif= ornia, USA, April 27-29, 2015.

All interested individuals, including non-US= citizens, are welcome to attend; however, all attendees must register (but= please only register if you intend to attend). Registration form and hotel= booking websites are reachable from the main website. A block of rooms at = a low price are reserved with booking deadline of March 26.

PC CHAIRS

Klaus Havelund, NASA Jet Propulsion Laboratory,= USA
Gerard Holzmann, NASA Jet Propulsion Laboratory, USA
Rajeev Josh= i, NASA Jet Propulsion Laboratory, USA

PUBLICITY SUPPORT

Ylies Falcone, Universit=E9 Joseph Fourier, France

PROGRAMME COMMITTEE

Erika Abraham, RWTH Aachen Univ= ersity, Germany
Julia Badger, NASA Johnson Space Center, USA
Christel= Baier, Technische Universit=E4t Dresden, Germany
Saddek Bensalem, VERIM= AG/UJF, France
Dirk Beyer, University of Passau, Germany
Armin Biere,= Johannes Kepler University, Austria
Nikolaj Bjorner, Microsoft Research= , USA
Borzoo Bonakdarpour, McMaster University, Canada
Alessandro Cim= atti, Fondazione Bruno Kessler, Italy
Leonardo de Moura, Microsoft Resea= rch, USA
Ewen Denney, NASA Ames Research Center, USA
Ben Di Vito, NAS= A Langley Research Center, USA
Dawson Engler, Stanford University, USAJean-Christophe Filliatre, Universit=E9 Paris-Sud, France
Dimitra Gian= nakopoulou, NASA Ames Research Center, USA
Alwyn Goodloe, NASA Langley R= esearch Center, USA
Susanne Graf, VERIMAG, France
Alex Groce, Oregon = State University, USA
Radu Grosu, Vienna University of Technology, Austr= ia
John Harrison, Intel Corporation, USA
Mike Hinchey, University of = Limerick/Lero, Ireland
Bart Jacobs, University of Leuven, Belgium
Sar= fraz Khurshid, The University of Texas at Austin, USA
Gerwin Klein, NICT= A, Australia
Daniel Kroening, Oxford University, UK
Orna Kupferman, H= ebrew University Jerusalem, Israel
Kim Larsen, Aalborg University, Denma= rk
Rustan Leino, Microsoft Research, USA
Martin Leucker, University o= f Lubeck, Germany
Rupak Majumdar, Max Planck Institute, Germany
Pete = Manolios, Northeastern University, USA
Peter Mueller, ETH Zurich, Switze= rland
Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA
Corina Pasareanu,= NASA Ames Research Center, USA
Doron Peled, Bar Ilan University, Israel=
Suzette Person, NASA Langley Research Center, USA
Andreas Podelski, = University of Freiburg, Germany
Grigore Rosu, University of Illinois, US= A
Kristin Yvonne Rozier, NASA Ames Research C= enter, USA
Natarajan Shankar, SRI International, USA
Natasha Sharygin= a, University of Lugano, Switzerland
Scott Smolka, Stony Brook Universit= y, USA
Willem Visser, University of Stellenbosch, South Africa
Mahesh= Viswanathan, University of Illinois, USA
Mike Whalen, University of Min= nesota, USA
Jim Woodcock, University of York, UK

STEERING COMMITTEE

Julia Badger, NASA Johnson Space Center
Ewe= n Denney, NASA Ames Research Center
Ben Di Vito, NASA Langley Research C= enter
Klaus Havelund, NASA Jet Propulsion Laboratory
Gerard Holzmann,= NASA Jet Propulsion Laboratory
Cesar Munoz, NASA Langley Research Cente= r
Corina Pasareanu, NASA Ames Research Center
Suzette Person, NASA La= ngley Research Center
Kristin Yvonne Rozier, = NASA Ames Research Center

= --Apple-Mail=_2A1CB25C-E8A8-4E23-96E4-775AB0C4E5CD-- --===============7254818479875148328== 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 --===============7254818479875148328==--