Talks

Invited talks and Presentations:

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

Ocotber 2014

CWI Amsterdam, Certificates for nonnegativity