January 21 @ 3:00 pm - 4:00 pm MICDE-CSE Seminar: Andrew Appel, Professor, Princeton University Venue TBA MI Formally Verified Numerical Methods