Détails de l'événement:

• Date: 11 - 13 Jun 2025
• Heure: 09:00 AM-06:00 PM (expected)
• Lieu: USA , Williamsburg
• Type: Conference

Points forts

• Axé sur les techniques formelles pour l'assurance des logiciels et des systèmes dans l'espace, l'aviation, la robotique et d'autres systèmes critiques.
• Organisé par l'équipe des Méthodes Formelles du Centre de Recherche Langley de la NASA.
• Vise à encourager la collaboration entre théoriciens et praticiens de la NASA, des agences gouvernementales, du milieu universitaire et de l'industrie.
• Traite de la spécification, de la conception, de la vérification, de la validation et de la certification des systèmes critiques pour la mission et la sécurité.
• Inclut des présentations, des démonstrations d'outils et des sessions de posters.
• Les articles seront publiés dans la série Lecture Notes in Computer Science (LNCS) de Springer.
• Les soumissions incluent des articles réguliers, des articles courts, des articles sur les outils et des études de cas.
• Format de conférence hybride permettant une participation à la fois en personne et à distance.
• Aucune frais d'inscription pour les participants, mais l'enregistrement est requis.
• Couvre des sujets émergents tels que l'assurance de la sécurité des systèmes autonomes dotés de l'apprentissage machine.

View the event location on the map or open the route in Google Maps.