About the series
The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program will hold an open virtual office hour to answer questions about the solicitation. This is intended to complement the previous informational AIMing webinar.
This event will be held via Zoom on Monday, May 13 from 10:30 a.m. to 11:30 a.m. EST.
Advance registration is required to attend:
After registering, you will receive a confirmation email with instructions on how to join the meeting.
