# 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 |