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 EC56D7F784 for ; Thu, 19 Feb 2015 17:31:39 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of compscience.announcement@gmail.com) identity=pra; client-ip=209.85.217.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="compscience.announcement@gmail.com"; x-sender="compscience.announcement@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of compscience.announcement@gmail.com designates 209.85.217.171 as permitted sender) identity=mailfrom; client-ip=209.85.217.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="compscience.announcement@gmail.com"; x-sender="compscience.announcement@gmail.com"; 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-lb0-f171.google.com) identity=helo; client-ip=209.85.217.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="compscience.announcement@gmail.com"; x-sender="postmaster@mail-lb0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DmAgD4DuZUm6vZVdFbFoItgRVODASDBa0Rj3VugWQBCYVxgRwHQwEBAQEBARABAQEBAQYLCwkUGhSEKAsGHQEbChQDEhAFMgIkAREBBQEiLgeHeAEDEQ2rPIMrPjGLLoFrgneNTgoZJw1UhGUBCgEBARgBBQ6FdoZIglkEUII4DC8RgTEFhFqFGFKIGEuFZU1MOIJbiHOEORIjgQwJgjGCAB0xAYEBAh4GgRsBAQE X-IPAS-Result: A0DmAgD4DuZUm6vZVdFbFoItgRVODASDBa0Rj3VugWQBCYVxgRwHQwEBAQEBARABAQEBAQYLCwkUGhSEKAsGHQEbChQDEhAFMgIkAREBBQEiLgeHeAEDEQ2rPIMrPjGLLoFrgneNTgoZJw1UhGUBCgEBARgBBQ6FdoZIglkEUII4DC8RgTEFhFqFGFKIGEuFZU1MOIJbiHOEORIjgQwJgjGCAB0xAYEBAh4GgRsBAQE X-IronPort-AV: E=Sophos;i="5.09,609,1418079600"; d="scan'208";a="100643607" Received: from mail-lb0-f171.google.com ([209.85.217.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Feb 2015 17:31:38 +0100 Received: by lbiw7 with SMTP id w7so847287lbi.9 for ; Thu, 19 Feb 2015 08:31:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=1luOeaPFT+3GgQX0lTtRkZpO9DIrJ/lSciu5OQ7NVHc=; b=w2IJDbr21tTIqO6z7b2RMPLs5g5fzfxQPJMTcU96S8Yt+3WFQGY4Rb9rgepmO3cqgX hFcbJ/aDCKDWEvDOMR1LqmdE6CtP8DPHfYrieGP5XyzHcBSW5nOf/waJUsbMROAcmq5m 5B+23JbWZuN9gyrozhSMc/wMHZBBQ55shs4ntiiHXK1vG1vTGJv3Zfg/zwmW/ESQrGj+ QVySRCTy5cIqTEc/I9keNWwsXD331Jr4xaARUH8MoZSgHg2RP+hKxXffMf226J596dnj Lo/uegKd6hCpfrThSudCwY1MSTjgSNbVUGsxgUOT4Use90D4eMdde5PuI3ssCpR9DdL/ MDvw== MIME-Version: 1.0 X-Received: by 10.152.26.136 with SMTP id l8mr4606561lag.109.1424363498206; Thu, 19 Feb 2015 08:31:38 -0800 (PST) Received: by 10.152.28.3 with HTTP; Thu, 19 Feb 2015 08:31:38 -0800 (PST) Date: Thu, 19 Feb 2015 08:31:38 -0800 Message-ID: From: Klaus Havelund To: Klaus Havelund Content-Type: multipart/alternative; boundary=089e0160c2b8577f3b050f7378fa Subject: [Caml-list] NFM 2015 - CALL FOR PARTICIPATION --089e0160c2b8577f3b050f7378fa Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable NFM 2015CALL FOR PARTICIPATION The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 =E2=80=93 29 April 2015 Pasadena, California, USA THEME The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, 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 achieving assurance in mission- and safety-critical systems. The focus 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. 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, 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, California, USA, April 27-29, 2015. There will be no registration fee for participants. 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 Joshi, NASA Jet Propulsion Laboratory, USA PUBLICITY SUPPORT Ylies Falcone, Universit=C3=A9 Joseph Fourier, France PROGRAMME COMMITTEE Erika Abraham, RWTH Aachen University, Germany Julia Badger, NASA Johnson Space Center, USA Christel Baier, Technische Universit=C3=A4t 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=C3=A9 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 --089e0160c2b8577f3b050f7378fa Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


NFM 2015

= CALL FOR PARTICIPATION

The 7th NASA Formal Method= s Symposium

       http://www.N=
ASAFormalMethods.org/nfm2015

27 =E2=80=93 29 April 2015
Pasadena, Califor= nia, USA

THEME

The widespread use and increasing complexity of mission- and safety-cri= tical systems require advanced techniques that address their specification,= verification, validation, and certification. The NASA Formal Methods Sympo= sium is a forum for theoreticians and practitioners from academia, industry= , and government, with the goals of identifying challenges and providing so= lutions to achieving assurance in mission- and safety-critical systems. The= focus of the symposium is on formal methods, and aims to foster collaborat= ion between NASA researchers and engineers and the wider aerospace and acad= emic formal methods communities.=C2=A0

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 met= hods

INVITED SPEAKERS

Dino DistefanoSoftware 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, Switzerland.

Rob Manning
Chief Engineer at N= ASA/JPL.

LOCATION, COST, REGISTRATION= AND HOTEL ROOM BOOKING

The symposium will take p= lace at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015.

=

There will be no registration fee for participants.= =C2=A0

All interested individuals, including non-U= S citizens, are welcome to attend; however, all attendees must register (bu= t please only register if you intend to attend). Registration form and hote= l 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 Havelun= d, NASA Jet Propulsion Laboratory, USA
Gerard Holzmann, NASA Jet Propuls= ion Laboratory, USA
Rajeev Joshi, NASA Jet Propulsion Laboratory, USA

PUBLICITY SUPPORT

Ylies Falcone, Universit=C3=A9 Joseph Fourier, France

PROGRAMME COMMITTEE

Erika A= braham, RWTH Aachen University, Germany
Julia Badger, NASA Johnson Space= Center, USA
Christel Baier, Technische Universit=C3=A4t Dresden, German= y
Saddek Bensalem, VERIMAG/UJF, France
Dirk Beyer, University of Pass= au, Germany
Armin Biere, Johannes Kepler University, Austria
Nikolaj = Bjorner, Microsoft Research, USA
Borzoo Bonakdarpour, McMaster Universit= y, Canada
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Leonard= o de Moura, Microsoft Research, USA
Ewen Denney, NASA Ames Research Cent= er, USA
Ben Di Vito, NASA Langley Research Center, USA
Dawson Engler,= Stanford University, USA
Jean-Christophe Filliatre, Universit=C3=A9 Par= is-Sud, France
Dimitra Giannakopoulou, NASA Ames Research Center, USAAlwyn Goodloe, NASA Langley Research Center, USA
Susanne Graf, VERIMAG,= France
Alex Groce, Oregon State University, USA
Radu Grosu, Vienna U= niversity of Technology, Austria
John Harrison, Intel Corporation, USAMike Hinchey, University of Limerick/Lero, Ireland
Bart Jacobs, Univer= sity of Leuven, Belgium
Sarfraz Khurshid, The University of Texas at Aus= tin, USA
Gerwin Klein, NICTA, Australia
Daniel Kroening, Oxford Unive= rsity, UK
Orna Kupferman, Hebrew University Jerusalem, Israel
Kim Lar= sen, Aalborg University, Denmark
Rustan Leino, Microsoft Research, USAMartin Leucker, University of Lubeck, Germany
Rupak Majumdar, Max Plan= ck Institute, Germany
Pete Manolios, Northeastern University, USA
Pet= er Mueller, ETH Zurich, Switzerland
Kedar Namjoshi, Bell Labs/Alcatel-Lu= cent, USA
Corina Pasareanu, NASA Ames Research Center, USA
Doron Pele= d, Bar Ilan University, Israel
Suzette Person, NASA Langley Research Cen= ter, USA
Andreas Podelski, University of Freiburg, Germany
Grigore Ro= su, University of Illinois, USA
Kristin=C2=A0Yvonne=C2=A0Rozier, NASA Ame= s Research Center, USA
Natarajan Shankar, SRI International, USA
Nata= sha Sharygina, University of Lugano, Switzerland
Scott Smolka, Stony Bro= ok University, USA
Willem Visser, University of Stellenbosch, South Afri= ca
Mahesh Viswanathan, University of Illinois, USA
Mike Whalen, Unive= rsity of Minnesota, USA
Jim Woodcock, University of York, UK

STEERING COMMITTEE

Jul= ia Badger, NASA Johnson Space Center
Ewen Denney, NASA Ames Research Cen= ter
Ben Di Vito, NASA Langley Research Center
Klaus Havelund, NASA Je= t Propulsion Laboratory
Gerard Holzmann, NASA Jet Propulsion Laboratory<= br>Cesar Munoz, NASA Langley Research Center
Corina Pasareanu, NASA Ames= Research Center
Suzette Person, NASA Langley Research Center
Kristin= =C2=A0Yv= onne=C2=A0Rozier, NASA Ames Research Center

--089e0160c2b8577f3b050f7378fa--