January 21 @ 3:00 pm - 4:00 pm MICDE-CSE Seminar: Andrew Appel, Professor, Princeton University BBB 3725 2260 Hayward St., Ann Arbor, United States Formally Verified Numerical Methods