126th NIA CFD Seminar: Solution Mode Analysis for Mesh Optimization and Stability Improvement of Finite-Volume Simulations Speaker: Mohammad Zandsalimy, PhD Candidate, Mechanical Engineering, University of British ColumbiaDate: Wednesday, February 22,…
Author: Katie.Froiland
02-15-2023 | Nicola Gigante: Practical Verification of Linear Temporal Logic Modulo Theories Specifications
Practical Verification of Linear Temporal Logic Modulo Theories Specifications Speaker: Nicola Gigante, Researcher, University of Bozen-Bolzano (Italy) Date: Wednesday, February 15, 2023 Time: 3:00pm Location: NIA, Room 101 or via…
2023 Key Activities
2023 Key Activities Week Ending July 14, 2023 2023 FAA Data Challenge Forum The 2023 FAA Data Challenge Forum was held June 21-22, 2023, at the MITRE Corporation campus in…