Apr 3 2:00 pm - 3:30 pm Leveraging Formal Methods for Trustworthy AI-assisted Software Development 3725 Beyster Building 2260 Hayward Street, Ann Arbor Event Details Get Directions