# Talks

**Invited talks and Presentations:**

August 2018 |
MPI Leipzig, A moment approach to nonlinear hyperbolic PDEs |

August 2018 | University of Konstanz, A moment approach to nonlinear hyperbolic PDEs |

July 2018 |
ISMP Bordeaux, Solving nearly sparse polynomial
optimization problems |

January 2018 | RTE Paris, Chanc-Constrained Optimization for Non-Linear Network Flow Problems |

October 2017 | IMT Bordeaux, Bounded sums of squares for large scale polynomial optimization with structured sparsity |

September 2017 | FGI 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 |