[TYPES/announce] Call for Participation NFM 2010

[Munoz, Cesar Augusto (LARC-D320)]

----------------------------------------------------
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)
http://shemesh.larc.nasa.gov/NFM2010
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

http://shemesh.larc.nasa.gov/NFM2010/speakers.html

Program
----
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.
 
http://shemesh.larc.nasa.gov/NFM2010/program.html

Registration
----
Attendance to the symposium is free, but all attendees must register in
order to participate. Registration closes April 9, 2010.
 
http://shemesh.larc.nasa.gov/NFM2010/registration.html
 
Travel and Local Information
----
The conference will take place in the James Webb Memorial Auditorium at NASA
Headquarters in Washington D.C.

http://shemesh.larc.nasa.gov/NFM2010/local.html

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

http://shemesh.larc.nasa.gov/NFM2010/travel.html

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