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 |