[Om-announce] [fm-announcements] Call for Participation NFM 2010

Munoz, Cesar Augusto (LARC-D320) cesar.a.munoz at nasa.gov
Tue Mar 2 17:44:32 CET 2010

CALL FOR PARTICIPATION: 2nd NASA Formal Methods Symposium

The NASA Formal Methods community invites you to attend the

Second NASA Formal Methods Symposium (NFM 2010)
nfm2010 at lists.nasa.gov

April 13-15, 2010
Washington D.C.

Theme of Conference
The NASA Formal Methods Symposium is a forum for theoreticians and
practitioners from academia and industry, with the goals of identifying
challenges and providing solutions to achieving assurance in safety-critical
systems. 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
Nikolaj Bjorner, Microsoft
Guillaume Brat, NASA
John Harrison,  Intel
John Kelly, NASA


The program committee selected 20 regular papers and 4 short papers for
presentation, covering various aspects of the theory and practice of formal
methods in safety-critical domains.

Attendance to the symposium is free, but all attendees must register in
order to participate. Registration closes April 9, 2010.
Travel and Local Information
The conference will take place in the James Webb Memorial Auditorium at NASA
Headquarters in Washington D.C.


Note that there are room blocks reserved at two hotels.  These reservations
will expire in the March 13-15 time frame.


Mike Hinchey, Conference Chair
Cesar Munoz, Program Chair
nfm2010 at lists.nasa.gov

More information about the Om-announce mailing list