4/7, 3pm: Hansen (Cambridge), The Extended Smale's 9th problem — On hardness of approximation in computation and non-computable problems in computer-assisted proofs. More details and the registration link are available here: https://mathematics.uchicago.edu/events/event/1395/