3:00 pm - 4:00 pm Formally Verified Numerical Methods January 21 @ 3:00 pm - 4:00 pm Formally Verified Numerical Methods