About the series
Join relevant program directors for an informational webinar regarding the NSF 24-554: Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) solicitation, in preparation for the February 5, 2025 proposal deadline. This event is open to the research community.
This meeting will be held via Zoom on Tuesday, Nov. 19th from 2 p.m. - 3 p.m. Eastern time.
Advance registration is required to attend:
After registering, you will receive a confirmation email with instructions for how to join the meeting.
