Talks

Invited talks and Presentations:

October 2017 IMT Bordeaux, Bounded sums of squares for large scale polynomial optimization with structured sparsity
September 2017 University of Paderborn, Solving nearly-sparse polynomial optimization problems
June 2017 LANL, Los Alamos, The Generalized Moment Problem and some applications
October 2016

TU Prag, Sparse Hierarchies for Large Scale Polynomial Optimization

May 2016

LAAS Toulouse,  NLverify: Non Linear Verification, a Coq Tactic

February 2016

Inria Saclay,   NLverify: Non Linear Verification, a Coq Tactic

October 2014

CWI Amsterdam, Certificates for nonnegativity