NFM 2022 — 14th NASA Formal Methods Symposium

Expiré

Book your hotel


Organisateur :

Domaine : Informatique; Software Engineering
Sciences de l'ingénieur;
Mots-clé:: 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 se tiendra du 24 mai 2022 au 27 mai 2022 en Los Angeles, CA, États-Unis. Il couvre divers domaines de Informatique, y compris Software Engineering. Pour plus d'informations, visitez le site web de la conférence ou contactez l'organisateur.
Ajouter au calendrier 2022-05-24 2022-05-27 Europe/London NFM 2022 — 14th NASA Formal Methods Symposium https://www.sciencedz.net/fr/conference/84939-nfm-2022-14th-nasa-formal-methods-symposium Los Angeles, CA - États-Unis

Sections connexes :

Conférences et séminaires en California
Conférences et séminaires en États-Unis
Conférences et séminaires en États-Unisdans 2022
Conférences et séminaires en Informatique
Conférences et séminaires en Informatiquedans 2022
Conférences et séminaires en Informatiquedans États-Unis
Conférences et séminaires en Informatiquedans États-Unisdans 2022
Tous les événements
Evénements par pays

Avertissement: Nous visons à fournir des informations exactes et fiables sur les événements à venir, mais nous ne pouvons pas accepter la responsabilité pour le texte des annonces ou de la bonne foi des organisateurs de l'événement.S'il vous plaît, n'hésitez pas à nous contacter si vous remarquez des informations incorrectes ou trompeuses et nous tenterons d'y remédier.Nous ne sommes impliqués dans l'organisation d'aucun des événements répertoriés et nous ne gérons pas les paiements d'inscription au nom des organisateurs.