[TYPES/announce] NFM 2012 Call for Participation

Alwyn Goodloe agoodloe at gmail.com
Thu Feb 16 08:36:51 EST 2012

                        CALL FOR PARTICIPATION

 Fourth NASA Formal Methods Symposium

 April 3-5, 2012

 Norfolk, Virginia, USA


The NFM 2012 program is available online:


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, École normale supérieure, Paris and New York University
     “Formal Verification by Abstract Interpretation”
* Cesare Tinelli, University of Iowa
     “SMT-based Model Checking”

Contact Information:
 *nasa-nfm2012 at 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

Alwyn E. Goodloe, Ph.D.
agoodloe at gmail.com

Research Computer Engineer
NASA Langley Research Center
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120216/d07893a9/attachment.html>

More information about the Types-announce mailing list