NASA Formal Methods Symposium 2025
Beschreibung
Das 17. NASA Formal Methods Symposium konzentriert sich auf formale Techniken für Software- und Systemzuverlässigkeit in kritischen Systemen und fördert die Zusammenarbeit zwischen der NASA, der akademischen Welt und der Industrie.
Höhepunkte
Fokussiert auf formale Techniken für Software- und Systemsicherheit im Weltraum, in der Luftfahrt, Robotik und anderen kritischen Systemen. Organisiert vom Formal Methods Team am NASA Langley Research Center. Ziel ist die Förderung der Zusammenarbeit zwischen Theoretikern und Praktikern von NASA, Regierungsbehörden, Wissenschaft und Industrie. Behandelt Spezifikation, Entwurf, Verifikation, Validierung und Zertifizierung von missionskritischen und sicherheitskritischen Systemen. Beinhaltet Präsentationen, Werkzeugdemonstrationen und Postersitzungen. Beiträge werden in Springers Lecture Notes in Computer Science (LNCS) veröffentlicht. Beiträge umfassen reguläre Artikel, Kurzbeiträge, Werkzeugpapiere und Fallstudien. Hybrides Konferenzformat, das sowohl persönliche als auch remote Teilnahme ermöglicht. Keine Registrierungsgebühr für Teilnehmer, aber eine Registrierung ist erforderlich. Behandelt aufkommende Themen wie Sicherheitsgarantie von maschinelles Lernen, das autonome Systeme ermöglicht.
Veranstaltungsort
Lassen Sie Ihr Netzwerk wissen, dass Sie dabei sind
Teilen Sie diese Veranstaltung, um Gespräche zu beginnen, Kollegen einzuladen und sich vorab zu vernetzen.
Verwandte Events
Duschhacks
Der Kapitalstack für agentische KI
Generative AI Anwendungen: 1-tägige Meisterklasse - San Francisco, CA
AI für die Arbeit Gipfel | ODSC AI NYC
BrandersFest 2026: Überleben — Live aus New York am 4.-5. November
KI-Startup Mikrofon.
Die Zukunft der KI-Infrastruktur
