University of Minnesota
Software Engineering Center

You are here

NFM 2016

Date of Event: 
Tuesday, June 7, 2016 - 8:00am to Thursday, June 9, 2016 - 5:30pm
McNamara Alumni Center
Conerence Web-page: 8th NASA Formal Methods Symposium

Lodging: The Commons Hotel
Please reserve your room by May 11, 2016: Either click on the Lodging link above or call 800-822-6757 (or 612-379-8888) and ask for the NFM-NASA Formal Methods Symposium.
Sign up for event: 
The email to associate with this registration.
Please enter your phone number. We may use this to contact you about your registration.
Check if you are presenting a talk at the conference
If presenting a paper, enter your paper number here
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.
3 + 0 =
Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.