This event is part of the new MIDAS affiliate faculty research connections series. Each monthly gathering for this series will have two parts:
- Introduction 12:00 – 12:15 pm
- Themed discussion 12:15-1:15 PM
- Informal networking time 1:15-1:45 PM
The theme for the December 13th meeting is AI and Math, with two NSF RFPs in particular:
AI, formal methods, and mathematical reasoning (NSF 24-554)
Growing convergence research (NSF 24-527)
Lunch will be provided