NFM 2021 — 13th NASA Formal Methods Symposium

Expired
Dates : 24 May 2021 » 28 May 2021
Place : Virtual / Norfolk, Virginia
United States

Book your hotel

Organizer :
Topic : Computer science; Software Engineering
Engineering and Technology;
Keywords: Robotics, Aerospace
Description :

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.

NFM 2021 — 13th NASA Formal Methods Symposium to be held from 24 May 2021 to 28 May 2021 in Virtual / Norfolk, Virginia, United States. It covers various areas of Computer science including Software Engineering. For more information, visit the website of the conference or contact the organizer.
Add to calendar 2021-05-24 2021-05-28 Europe/London NFM 2021 — 13th NASA Formal Methods Symposium https://www.sciencedz.net/en/conference/78324-nfm-2021-13th-nasa-formal-methods-symposium Virtual / Norfolk, Virginia - United States
Share
Add to Favorites
Embed
Info Cheap flights Best hotel deals
Cheap flights, train and bus tickets

Find More Related Conferences

Looking for more scientific conferences to attend? Explore a wide range of upcoming events in various fields and locations. Whether you're looking for specialized topics, specific locations, or dates, we have a wide range of conferences to choose from.
Computer science Conferences in United States 2021: Discover the latest trends and research in Computer science by attending conferences across United States in 2021. Network with professionals, researchers, and industry leaders to stay at the forefront of technological advancements.
Conferences and seminars in Virginia
Conferences and seminars in United States
Conferences and seminars in United States in 2021
Conferences and seminars in Computer science
Conferences and seminars in Computer science in 2021
Conferences and seminars in Computer science in United States
Conferences and seminars in Computer science in United States in 2021
All events
Events by country

Submit a conference (FREE)

Stay informed



Disclaimer : We aim to provide correct and reliable information about upcoming events, but cannot accept responsibility for the text of announcements or for the bona fides of event organizers. Please feel free to contact us if you notice incorrect or misleading information and we will attempt to correct it.We are not involved in the organization of any of the events listed and we do not handle registration payments on behalf of the organizers.