Strict Complementarity in Convex Algebraic Geometry (with a focus on Elliptopes)
Levent Tuncel
University of Waterloo
October 15, 2018
Lowerbounds on semidefinite representations of hyperbolic programs
Nikhil Srivastava
UC Berkeley
October 15, 2018
Proof-of-work Certificates for High Complexity Mathematical Computations
Erich Kaltofen
North Carolina State University
September 21, 2018
Numerical Approximations: sometimes close is good enough
Chris Peterson
Colorado State University
September 20, 2018