Jan 21 3:00 pm - 4:00 pm Formally Verified Numerical Methods 3725 Beyster Building 2260 Hayward Street, Ann Arbor Event Details Get Directions