From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1FDI9L3011690 for ; Wed, 15 Feb 2012 14:18:10 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak8DAB+wO0+AnPnlnGdsb2JhbAAtFoJNpUKGXYFgIgEBAQEBCAsSFCeBdAUBAQEaEBkKFgIUAwECBgIBARgbCQYEAQcDARsTFBIBBBMFAxOHbbloiQ2CXh1TgzwNEQcCAQYBKYJoYwSIGjOERYhnkHeBTQ X-IronPort-AV: E=Sophos;i="4.73,423,1325458800"; d="scan'208,217";a="131459158" Received: from lists.nasa.gov ([128.156.249.229]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Feb 2012 14:17:37 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 24772611D37; Wed, 15 Feb 2012 08:16:03 -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 DvX-JGItqMT8; Wed, 15 Feb 2012 08:16:03 -0500 (EST) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id D597D602F14; Wed, 15 Feb 2012 08:15:59 -0500 (EST) X-Original-To: fm-announcements@lists.nasa.gov Delivered-To: fm-announcements@lists.nasa.gov Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id C9BD8600FC6 for ; Wed, 15 Feb 2012 08:15:56 -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 viWJ38O-+paN for ; Wed, 15 Feb 2012 08:15:56 -0500 (EST) Received: from ndjsnpf01.ndc.nasa.gov (ndjsnpf01.ndc.nasa.gov [198.117.1.121]) by lists.nasa.gov (Postfix) with ESMTP id 98A77600A19 for ; Wed, 15 Feb 2012 08:15:56 -0500 (EST) Received: from ndmsppt02.ndc.nasa.gov (ndmsppt02.ndc.nasa.gov [198.117.0.101]) by ndjsnpf01.ndc.nasa.gov (Postfix) with ESMTP id 51E26328224 for ; Wed, 15 Feb 2012 07:15:56 -0600 (CST) Received: from ndmshub05.ndc.nasa.gov (ndmshub05.ndc.nasa.gov [198.117.2.164]) by ndmsppt02.ndc.nasa.gov (8.14.4/8.14.4) with ESMTP id q1FDFtf9003557 for ; Wed, 15 Feb 2012 07:15:56 -0600 Received: from NDMSSCC05.ndc.nasa.gov ([198.117.2.174]) by ndmshub05.ndc.nasa.gov ([198.117.2.164]) with mapi; Wed, 15 Feb 2012 07:15:56 -0600 From: "PERSON, SUZETTE (LARC-D320)" To: "fm-announcements@lists.nasa.gov" Date: Wed, 15 Feb 2012 07:15:55 -0600 Thread-Topic: NFM 2012 Call For Participation Thread-Index: Aczr4/LO62v12KoLR8SI1zjoBiVSgw== Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: multipart/alternative; boundary="_000_D2852AE6C0FA2F40B650C08EF356AC750109956D619BNDMSSCC05nd_" MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.6.7361, 1.0.260, 0.0.0000 definitions=2012-02-15_03:2012-02-15, 2012-02-15, 1970-01-01 signatures=0 X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.14 Precedence: list List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: suzette.person@nasa.gov Subject: [Caml-list] [fm-announcements] NFM 2012 Call For Participation --_000_D2852AE6C0FA2F40B650C08EF356AC750109956D619BNDMSSCC05nd_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D CALL FOR PARTICIPATION Fourth NASA Formal Methods Symposium http://shemesh.larc.nasa.gov/nfm2012/index.html April 3-5, 2012 Norfolk, Virginia, USA =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D The NFM 2012 program is available online: http://shemesh.larc.nasa.gov/nfm2012/program.html REGISTRATION IS NOW OPEN To register: http://shemesh.larc.nasa.gov/nfm2012/registration.html 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. 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. Within NASA, for example, such systems include autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as code generation and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other safety-critical systems. Invited speakers: * Andrew Appel, Princeton University "Verified Software Toolchain" * Patrick Cousot, =C9cole normale sup=E9rieure, Paris and New York Universi= ty "Formal Verification by Abstract Interpretation" * Cesare Tinelli, University of Iowa "SMT-based Model Checking" Contact Information: nasa-nfm2012@mail.nasa.gov Conference Chairs Alwyn Goodloe, NASA Langley Research Center Suzette Person, NASA Langley Research Center Program Committee Nikolaj Bjoerner, Microsoft Research, USA Jonathan Bowen, London South Bank Univ, UK Julia Badger, NASA Johnson Space Center, USA Ricky Butler, NASA Langley Research Center, USA Rance Cleaveland, Univ of Maryland, USA Darren Cofer, Rockwell Collins, USA Ewen Denney, NASA Ames Research Center, USA Dino Distefano, Queen Mary Univ of London and Monoidics Ltd., UK Jin Song Dong, Univ of Singapore, Singapore Jean-Christophe Filliatre, CNRS, France Dimitra Giannakopoulou, NASA Ames Research Center, USA Eric Goubault, CEA LIST, France George Hagen, NASA Langley Research Center, USA John Hatcliff, Kansas State Univ, USA Klaus Havelund, NASA/JPL, USA Mats Heimdahl, Univ of Minnesota, USA Gerard Holzmann, NASA/JPL, USA Joe Hurd, Galois, USA Bart Jacobs, Katholieke Univ Leuven, Belgium Kenneth McMillan, Microsoft Research, USA Eric Mercer, Brigham Young University, USA Cesar Munoz, NASA Langley Research Center, USA Anthony Narkawicz, NASA Langley Research Center, USA Natasha Neogi, National Institute of Aerospace, USA Corina Pasareanu, NASA Ames Research Center, USA Charles Pecheur, Univ de Louvain, Belgium Kristin Rozier, NASA Ames Research Center, USA Natarajan Shankar, SRI, International, USA Oleg Sokolsky, Univ of Pennsylvania, USA Sofiene Tahar, Concordia Univ, Canada Oksana Tkachuk, NASA Ames Research Center, USA Willem Visser, Univ of Stellenbosch, South Africa Mike Whalen, Univ of Minnesota, USA Virginie Wiels, ONERA, France Jim Woodcock, University of York, UK --_000_D2852AE6C0FA2F40B650C08EF356AC750109956D619BNDMSSCC05nd_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
  &= nbsp;                    = CALL FOR PARTICIPATION

 Fourth NASA Formal Methods Symposium
 http://shemesh.larc.nasa.gov/nfm2012/index.html

&= nbsp;April 3-5, 2012

 Norfolk, Virginia, USA

=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
The NFM 2012 program is available online:

http://shemesh.larc= .nasa.gov/nfm2012/program.html

REGISTRATION IS NOW OPEN

T= o register: http://shemesh.larc.nasa.gov/nfm2012/registration.htm= l

There will not be a registration fee charged to participants.<= br>All interested individuals, including non-US citizens, are
welcome to= attend, to listen to the talks, and to participate
in discussions; howe= ver, all attendees must register.


The NASA Formal Methods Sympos= ium is a forum for theoreticians
and practitioners from academia, indust= ry, and government, with the
goals of identifying challenges and providi= ng solutions to achieving
assurance in mission- and safety-critical syst= ems. Within NASA,
for example, such systems include autonomous robots, s= eparation
assurance algorithms for aircraft, Next Generation Air Transpo= rtation
(NextGen), and autonomous rendezvous and docking for spacecraft.=
Moreover, emerging paradigms such as code generation and safety
case= s are bringing with them new challenges and opportunities. The
focus of = the symposium will be on formal techniques, their theory,
current capabi= lities, and limitations, as well as their application to
aerospace, robo= tics, and other safety-critical systems.


Invited speakers:
* = Andrew Appel, Princeton University
     “Verified S= oftware Toolchain”
* Patrick Cousot, =C9cole normale sup=E9rieure,= Paris and New York University
     “Formal Verific= ation by Abstract Interpretation”
* Cesare Tinelli, University of = Iowa
     “SMT-based Model Checking”

C= ontact Information:
 = nasa-nfm2012@mail.nasa.gov

Conference Chairs
 Alwyn Good= loe, NASA Langley Research Center
 Suzette Person, NASA Langley Res= earch Center

Program Committee
 Nikolaj Bjoerner, Microsoft = Research, USA
 Jonathan Bowen, London South Bank Univ, UK
 = Julia Badger, NASA Johnson Space Center, USA
 Ricky Butler, NASA La= ngley Research Center, USA
 Rance Cleaveland, Univ of Maryland, USA=
 Darren Cofer, Rockwell Collins, USA
 Ewen Denney, NASA Am= es Research Center, USA
 Dino Distefano, Queen Mary Univ of London = and Monoidics Ltd., UK
 Jin Song Dong, Univ of Singapore, Singapore=
 Jean-Christophe Filliatre, CNRS, France
 Dimitra Giannako= poulou, NASA Ames Research Center, USA
 Eric Goubault, CEA LIST, Fr= ance
 George Hagen, NASA Langley Research Center, USA
 John= Hatcliff, Kansas State Univ, USA
 Klaus Havelund, NASA/JPL, USA Mats Heimdahl, Univ of Minnesota, USA
 Gerard Holzmann, NASA= /JPL, USA
 Joe Hurd, Galois, USA
 Bart Jacobs, Katholieke U= niv Leuven, Belgium
 Kenneth McMillan, Microsoft Research, USA
&= nbsp;Eric Mercer, Brigham Young University, USA
 Cesar Munoz, NASA = Langley Research Center, USA
 Anthony Narkawicz, NASA Langley Resea= rch Center, USA
 Natasha Neogi, National Institute of Aerospace, US= A
 Corina Pasareanu, NASA Ames Research Center, USA
 Charle= s Pecheur, Univ de Louvain, Belgium
 Kristin Rozier, NASA Ames Rese= arch Center, USA
 Natarajan Shankar, SRI, International, USA
&nb= sp;Oleg Sokolsky, Univ of Pennsylvania, USA
 Sofiene Tahar, Concord= ia Univ, Canada
 Oksana Tkachuk, NASA Ames Research Center, USA
=  Willem Visser, Univ of Stellenbosch, South Africa
 Mike Whale= n, Univ of Minnesota, USA
 Virginie Wiels, ONERA, France
 J= im Woodcock, University of York, UK

= --_000_D2852AE6C0FA2F40B650C08EF356AC750109956D619BNDMSSCC05nd_--