NFM 2026 - 18th NASA Formal Methods Symposium (Event)

Activity: Membership/Function › Program committee

Period13 Oct 2025 → 07 May 2026
Event titleNFM 2026 - 18th NASA Formal Methods Symposium
Event typeConference
Conference number18
LocationLos Angeles, United StatesShow on map
Degree of RecognitionInternational

Fields of science

  • 102031 Theoretical computer science
  • 603109 Logic
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence
  • 202006 Computer hardware
  • 102 Computer Sciences

JKU Focus areas

  • Sustainable Development: Responsible Technologies and Management

UN SDGs

This activity contributes to the following UN Sustainable Development Goals (SDGs)

  • SDG 9 - Industry, Innovation, and Infrastructure
  • SDG 13 - Climate Action
  • SDG 14 - Life Below Water
  • SDG 15 - Life on Land