Registration

Registration now open!

NASA Formal Methods does not charge a registration fee. However, all attendees must register. Please follow this link to register.

Since the symposium will be held in a NASA facility, all foreign nationals will be contacted by the NASA Visitor Office after registration. Please allow 2 - 6 weeks (depending on country of birth) to process each visitor request. If you need a visa invitation letter, please contact us.