Nasa Conference 2025. The 17th nasa formal methods symposium (nfm2025) is organized by the formal methods team at nasa langley research center. 5) that it's delaying the planned launch of artemis 2, a flight that will send four people around the moon and back, from september 2025 to april 2026.
Save the date for nasa 2026! For each region hosting a conference in 2025.