January 21 @ 3:00 pm - 4:00 pm Formally Verified Numerical Methods 3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States