This event has passed.

LAA Meets

5/10/22 @ 11:30 am - 1:00 pm

Ricky Butler: 35 years of Formal Methods Research at NASA Langley

(Both in-person @LaRC & via Zoom)

Board Meeting follows @1:10pm

Details

Date: 5/10/22
Time:
11:30 am - 1:00 pm

Venue

NASA Langley Research Center
2 Langley Blvd
Hampton, VA United States + Google Map