10times
Conference

NASA Formal Methods Symposium

24 - 28 May 2021Add To Calendar
AboutFollowers 1ReviewsExhibitorsPhotosSpeakersTravel Deals

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving .. continue reading assurance for such critical systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. The meeting will be comprised of invited talks by leading researchers and practitioners, a panel discussion on the current status of formal methods, and more specialized talks based on contributed papers.


Timings

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

Entry Fees

Check Official Website

Participants

100 - 500
Delegates
Estimated Count

Category & Type

Conference
Science & Research
IT & Technology

Editions

May 2021 Interested


Frequency Newly Listed

Official Links

WebsiteContacts


Report Error
Claim this event
Online Editions
Different Located Editions
Houston, USA07 - 09 May 2019
5 Followers
Pasadena, USA27 - 29 Apr 2015

Organizer

LogoSend Stall Book Request

NASA

USA31 Total Events / 4 Upcoming Events
+ Add me as user

User Community [ Users who have shown interest for this Event ]

Going Zulpykhar Bektas

Zulpykhar Bektas

Zulpykhar Bektas at Zoha

York, United States
36.851000-76.286000

Venue Map & Directions

google-map

Venue to be announced

Norfolk, USA

Add Venue

Featured Hotels in Norfolk

More Hotels