70 Thursday, September 26 William Morton Kahan “Desperately Needed Remedies for the Undebugga- bility of Large-Scale Floating-Point Computations in Science and Engineering” Joseph Sifakis “System Design Science“ Vladimir Voevodsky “Univalent Foundations of Mathematics” Michael O. Rabin “Cryptography Applied to Financial Processes and Secure Auctions” Laureates‘ Plenary Lectures