Wednesday, 12 February 2020, 14:00 at MR11 Centre for Mathematical Sciences – In this presentation, we will provide a high-level overview of recent approaches for analyzing and designing first-order methods using symbolic computations and/or semidefinite programming. A particular emphasis will be given to the “performance estimation” approach, which enjoys comfortable tightness guarantees: the approach fails only when the target results are impossible …