10times
12th Edition Conference

NASA Formal Methods Symposium

11 - 15 May 2020 Cancelled  New Date Reminder
NASA Ames Research Center, Mountain View, USA

About Followers Reviews Exhibitors Photos Speakers Travel Deals

NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the industry, with the aim of identifying challenges and providing solutions towards achieving assurance for such critical systems. This symposium cover the following topics areas are formal verification, including theorem proving, model checking, and static analysis, advances in automated theorem proving including SAT and SMT solving, run-time verification, techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods and etc.


Timings

09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website

Participants

upto 100
Delegates
Estimated Count

Category & Type

Conference
Science & Research

Editions

11 - 15 May 2020 12th Edition


Frequency Newly Listed

Official Links

WebsiteContacts


Report Error
Claim this event

Organizer

Logo Follow Company

NASA USA

29 Total Events / 6 Upcoming Events
37.408866 -122.064426

Venue Map & Directions

map of NASA Ames Research Center

NASA Ames Research Center

Moffett Blvd, Mountain View, CA 94035
USA

Get Directions

Featured Hotels

More Hotels