NFM 2022 — 14th NASA Formal Methods Symposium

Expired
Dates : 24 maio 2022 » 27 maio 2022

Place : Los Angeles, California
Estados Unidos

Book your hotel


Organizer :

Topic : Informática; Software Engineering
Ciências da Engenharia;
Keywords: Engineering
Description :

The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located in Pasadena, California.


NFM 2022 — 14th NASA Formal Methods Symposium to be held from 24 maio 2022 to 27 maio 2022 in Los Angeles, CA, Estados Unidos. It covers various areas of Informática including Software Engineering. For more information, visit the website of the conference or contact the organizer.
Add to calendar 2022-05-24 2022-05-27 Europe/London NFM 2022 — 14th NASA Formal Methods Symposium https://www.sciencedz.net/pt/conference/84939-nfm-2022-14th-nasa-formal-methods-symposium Los Angeles, CA - Estados Unidos

Related sections :

Conferences and seminars in California
Conferences and seminars in Estados Unidos
Conferences and seminars in Estados Unidos in 2022
Conferences and seminars in Informática
Conferences and seminars in Informática in 2022
Conferences and seminars in Informática in Estados Unidos
Conferences and seminars in Informática in Estados Unidos in 2022
Todos os eventos
Events by country

Disclaimer : Temos como objectivo proporcionar informações precisas e confiáveis sobre os próximos eventos, mas não podemos aceitar a responsabilidade para o texto de anúncios ou boa-fé dos organizadores do evento. Por favor, não hesite em contactar-nos se você observar informações incorretas ou enganosas e vamos tentar corrigi-lo.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.