---------------------------------------------------- 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 [email protected] 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 [email protected] ------------------------------------------------------------------------------ Download Intel® Parallel Studio Eval Try the new software tools for yourself. Speed compiling, find bugs proactively, and fine-tune applications for parallel performance. See why Intel Parallel Studio got high marks during beta. http://p.sf.net/sfu/intel-sw-dev _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
