|
Sparse polynomial optimization: theory and practice, 2023 September 20-22, SOR 2023 Plenary lecture, 17th International Symposium on Operations Research in Slovenia, Astoria Hotel, Bled [ slides ]
|
|
Exploiting sparsity in polynomial optimization, 2023 March 6-10, JNCF 2023 Invited course, CIRM Marseille, France [ slides ]
|
|
Sparse polynomial optimization: old and new, 2022 November 29, PGMO Days 2022 EDF Labs, Paris Saclay, France [ slides ]
|
|
Tractable semidefinite bounds of positive maximal singular values, 2022 September 15, 25th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2022) Bayreuth [ slides ]
|
|
Trace polynomial optimization with applications in quantum information, 2022 September 1, CWI workshop on semidefinite and polynomial optimization Science Park, Amsterdam [ slides ]
|
|
Certifying global optimality of AC-OPF Solutions via the CS-TSSOS hierarchy, 2022 May 15, AMS Spring Western Virtual Sectional Meeting, Special Session on Algebraic, Combinatorial, and Optimization Methods for Kuramoto and Power-flow Equations Zoom [ slides ]
|
|
Conic programming for certified polynomial optimization, 2022 April 11, Conic Linear Optimization for Computer-Assisted Proofs Oberwolfach [ slides ]
|
|
Exact Polynomial Optimization via SOS Decompositions, 2021 August 17, SIAM Conference on Applied Algebraic Geometry Zoom [ slides ]
|
|
Exploiting correlative and term sparsity in noncommutative polynomial optimization, 2021 July 23, SIAM Conference on Optimization Washington/Zoom [ slides ]
|
|
Optimization over trace polynomials, 2021 June 21, 8th ECM Portoroz/Zoom [ slides ]
|
|
Two-player games between polynomial optimizers, semidefinite solvers and certifiers, 2019 August 07, International Conference on Continuous Optimization Berlin, Germany [ slides ]
|
|
Two-player games between polynomial optimizers and semidefinite solvers, 2019 July 11, SIAM Conference on Applied Algebraic Geometry Bern, Switzerland [ slides ]
|
|
Exact polynomial optimization via SOS, SONC and SAGE decompositions, 2019 June 25, EURO 2019 UCD Dublin, Ireland [ slides ]
|
|
On Exact Polynomial Optimization through Sums of Squares, 21 Novembre 2018, PGMO Days 2018 EDF Labs, Paris-Saclay, France [ slides ]
|
|
RealCertify: a Maple package for certifying non-negativity, 2018 July 17, ISSAC 2018 (Software Demonstration) New-York, USA [ slides ] [ Maple Worksheet ]
|
|
On Exact Polya and Putinar's Representations, 2018 July 17, ISSAC 2018 New-York, USA [ slides ]
|
|
Semidefinite Characterization of Invariant Measures for Polynomial Systems, 14 November 2017, PGMO Days 2017 EDF Lab, Paris Saclay [ slides ]
|
|
Enclosures of Roundoff Errors using SDP, 2017 September 27, 18th French-German-Italian Conference on Optimization Paderborn, Germany [ slides ]
|
|
Semidefinite Approximations of Reachability Sets for Discrete-time Polynomial Systems, 2017 August 3, SIAG17 Atlanta, Georgia Tech [ slides ]
|
|
Convergent Robust SDP Approximations for Semialgebraic Optimization, 2016 August 10, ICCOPT 2016 GRIPS, Tokyo [ slides ]
|
|
Semidefinite Approximations of Reachability Sets for Discrete-time Polynomial Systems, 2016 March 23, SMAI-MODE 2016 Enseeiht, Toulouse [ slides ]
|
|
Automated Precision Tuning using Semidefinite Programming, 2015 June 15, BFG 2015 Imperial College, London [ slides ]
|
|
Semidefinite approximations of projections and polynomial images of semialgebraic sets, 2014 November 5, JNCF 2014 CIRM, Marseille [ slides ]
|
|
NLCertify: A tool for formal nonlinear optimization, 2014 August 6, ICMS 2014 The 4th International Congress on Mathematical Software, Séoul [ slides ]
|
|
Certification of Inequalities involving Transcendental Functions: combining SDP and Max-plus Approximation, 2013 July 18, ECC 2013 European Control Conference, ETH Zurich [ slides ]
|
|
Certification of Bounds of Non-linear Functions : the Templates Method, 2013 July 8, CICM 2013 Calculemus, Bath [ slides ]
|
|
Formal Nonlinear Optimization via Templates and Sum-of-Squares, 2013 April 23, TYPES 2013 Toulouse [ slides ]
|
|
Certification of Inequalities involving Transcendental Functions using Semidefinite Programming, 2012 August 24, ISMP 2012 Berlin [ slides ]
|
|
State polynomial optimization for nonlinear Bell inequalities, 2024 February 5, Séminaire Parisien d'Optimisation (SPO) IHP, Paris, France [ slides ]
|
|
Moment polynomials for nonlinear Bell inequalities, 2023 October 30, ICFO Seminar Barcelona [ slides ]
|
|
Sparsity in Polynomial Optimization, 2022 December 13, Aromath Seminar INRIA Sophia-Antipolis [ slides ]
|
|
Polynomial optimization methods for machine learning, 2022 October 3, ANITI Days B612 Toulouse [ slides ]
|
|
Certifying global optimality of AC-OPF Solutions via the CS-TSSOS hierarchy, 2022 June 3, SMAI MODE XLIM Limoges [ slides ]
|
| Sparse polynomial optimization, 2021 November 17, Optimization and Numerical Analysis Seminar The University of Hong Kong, Institute of Mathematical Research, Department of Mathematics [ slides ]
|
|
Optimization over trace polynomials, 2021 May 31, BrainPOP Seminar Toulouse [ slides ]
|
|
Polynomial, Moment and SDP data, 2021 April 16, General online Julia training POEMA Workshop by visio [ slides ]
|
|
The quest of efficiency and certification in polynomial optimization, 2021 March 29, Symbolic Computation Seminar NC State University, US [ slides ]
|
|
Large-scale noncommutative optimization and applications to quantum information, 2021 March 10, Workshop Technologies Quantiques LAAS Toulouse [ slides ]
|
|
Optimization over trace polynomials, 2021 February 3, Journal Club Information Quantique Toulouse [ slides ]
|
|
Sparse (Non)commutative Polynomial Optimization, 2020 March 6, Real Algebraic Geometry with a View Toward Hyperbolic Programming and Free Probability Oberwolfach [ slides ]
|
|
Polynomial Optimization for Bounding Lipschitz Constants of Deep Networks, 2020 February 28, Intersections between Control, Learning and Optimization IPAM, Los Angeles [ slides ]
|
|
Outer Approximations of Images of Sets defined by Polynomials, 2020 February 17, IRT B612 Toulouse [ slides ]
|
|
Certified and efficient polynomial optimization via conic programming, 2020 January 28, Department of Automatic Control LTH, Lund [ slides ]
|
|
Two-player games between polynomial optimizers and semidefinite solvers, 2020 January 21, Mosek Aps Science Park, Copenhagen [ slides ]
|
|
The quest of efficiency and certification in polynomial optimization, 2019 November 4, Séminaire Pluridisciplinaire d'Optimisation de Toulouse (SPOT) Enseeiht, Toulouse, France [ slides ]
|
|
Semidefinite Approximations of Reachable Sets for Polynomial Systems, 2019 July 31, Research seminar on discrete and convex geometry Institut für Mathematik, TU Berlin, Allemagne [ slides ]
|
|
Certified Semidefinite Approximations of Reachable Sets, 2019 June 19, FEANICSES 2019 Workshop ISAE, Toulouse, France [ slides ]
|
|
Exact polynomial optimization via SOS, SONC and SAGE decompositions, 2019 April 1, A3 - Arctic Applied Algebra Tromso, Norway [ slides ]
|
|
Two-player games between polynomial optimizers and semidefinite solvers, 2019 March 12, Robust Control and Convex Optimization Meeting Business Center, Toulouse [ slides ]
|
|
Certifying Non-negativity with Lasserre's Hierarchy and Semidefinite Programming, 2019 March 5, LECAD Seminar Faculty of Mechanical Engineering, University of Ljubljana [ slides ]
|
|
On Exact Polya, Hilbert-Artin and Putinar's Representations, 2019 February 4, JNCF 2019 CIRM, Marseille [ slides ]
|
|
Certified Optimization for System Verification, 17 Mai 2018, 68nqrt Seminar Irisa, INRIA Rennes, France [ slides ]
|
|
On Exact Polynomial Optimization, 25 Avril 2018, Seminar Institut für Mathematik, TU Berlin, Germany [ slides ]
|
|
Certified Optimization for System Verification, 3 Avril 2018, LSV Seminar ENS Cachan, France [ slides ]
|
|
On Exact Polynomial Optimization, 29 March 2018, SMAI-MODE 2018 Autrans, France [ slides ]
|
|
Enclosures of Roundoff Errors using SDP, 13 March 2018, Metalib Workshop: "Elementary functions, digital filters and beyond" Sorbonne Universités, Jussieu Paris, France [ slides ]
|
|
Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials, 1 February 2018, XLIM Séminaire Calcul Formel Limoges [ slides ]
|
|
Semidefinite Approximations of Reachability Sets for Discrete-time Polynomial Systems, 14 December 2017, GT VS CPS First Meeting CNAM, Paris [ slides ]
|
|
Enclosures of Roundoff Errors using SDP, 24 October 2017, RAIM 2017 : 9èmes Rencontres Arithmétique de l'Informatique Mathématique ENS Lyon, France [ slides ]
|
|
Enclosures of Roundoff Errors using SDP, 29 August 2017, Analysis and Synthesis of Floating-point Programs Dagstuhl Seminar, Germany [ slides ]
|
|
Certified Optimization for System Verification, 26 June 2017, Comité de Liaison SMAI-MODE [ slides ]
|
|
Nichtnegativstellensätze for Univariate Polynomials, 2017 January 17, JNCF 2017 CIRM, Marseille [ slides ]
|
|
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems, 7 July 2016, CASYS-Meff Seminar Imag Grenoble [ slides ]
|
|
Certification of Roundoff Errors with SDP Relaxations and Formal Interval Methods, 20 June 2016, SWIM 16 ENS Lyon [ slides ]
|
|
Formal verification of roundoff error bounds using semidefinite programming, 16 June 2016, GTVerif Irif Paris [ slides ]
|
|
Semidefinite approximations of projections and polynomial images of semialgebraic sets, 18 January 2016, CompACS Meeting Grenoble [ slides ]
|
|
Certified Roundoff Error Bounds using Semidefinite Programming and Formal Floating Point Arithmetic, 13 January 2016, Effective Analysis: Foundations, Implementations, Certification CIRM, Marseille [ slides ]
|
|
Semidefinite approximations of projections and polynomial images of semialgebraic sets, 26 November 2015, Gipsa Lab Grenoble [ slides ]
|
|
Certified Roundoff Errors using Semidefinite Programming, 19 November 2015, Mescal Seminar INRIA, Grenoble [ slides ]
|
|
NLVerify: Verification of Polynomial Inequalities using Formal Floating-point Arithmetic, 27 October 2015, Spades Seminars on Formal Methods and Languages INRIA, Grenoble [ slides ]
|
|
Semidefinite Optimization for System Verification, 08 October 2015, Tempo Meeting VERIMAG, Grenoble [ slides ]
|
|
Flyspeck Inequalities and Semidefinite Programming, 29 June 2015, Memory Optimization and Co-Design Meeting Circuits and Systems, Imperial College [ slides ]
|
|
Formal proofs for nonlinear optimization, 03 March 2015, Quads Seminar Dept of Computing, Imperial College [ slides ]
|
|
Semidefinite approximations of projections and polynomial images of semialgebraic sets, 23 February 2015, SOS Fluid Meeting Dept of Engineering Science, Oxford [ slides ]
|
|
New Applications of Moment-SOS Hierarchies, February 12 2015, Pequan Group Seminar, LIP6 Paris [ slides ]
|
|
New Applications of Semidefinite Programming, February 3 2015, Journées GDR-IM 2015 LABRI, Bordeaux [ slides ]
|
|
New Applications of Moment-SOS Hierarchies, November 17 2014, Circuits and Systems Group Seminar, Imperial College London [ slides ]
|
|
New Applications of Moment-SOS Hierarchies, November 13 2014, Verimag Group Seminar, Grenoble [ slides ]
|
|
New Applications of Semidefinite Programming, October 18 2014, Imagination Technologies Verification Group, Kings Langley [ slides ]
|
|
NLCertify: A tool for formal nonlinear optimization, September 18 2014, Aric Seminar LIP, Lyon [ slides ]
|
|
Semialgebraic Relaxations using Moment-SOS hierarchies, September 17 2014, Sierra Seminar Computer Science Department of ENS Paris [ slides ]
|
|
New applications of Moment-SOS hierarchies, August 13 2014, 専攻談話会（セミナー） Tokyo Institute of Technology Dept. of Math. Comput. Sci. [ slides ]
|
|
Formal Proofs, Program Analysis and Moment-SOS Relaxations, July 15 2014, Circuits and Systems Group, Department of Electrical and Electronic Eng. Imperial College London [ slides ]
|
|
Approximating Pareto Curves using SDP, June 18 2014, GDR Recherche Opérationnelle, GT Programmation Mathématique Enseeiht Toulouse [ slides ]
|
|
Approximating Pareto Curves using Semidefinite Relaxations, March 1 2014, Applications of Real Algebraic Geometry Aalto University Helsinki [ slides ]
|
|
Certified Global Optimization using Maxplus based Templates, May 27 2013, LAAS Seminar Toulouse [ slides ]
|
|
Lower Bounds Certification for Multivariate Real Functions using SDP, January, 18 2013, PhD Workshop at LIX Palaiseau [ slides ]
|
|
Certification of Inequalities involving Transcendental Functions using SDP, September 18 2012, MAP Konstanz [ slides ]
|
|
Formal Proofs of Inequalities using SDP, September 5 2012, Summer School on Semidefinite Optimization |
|
Certification of Inequalities using Maxplus approximations and SDP, July 11 2012, CoqApprox Seminar [ slides ]
|
|
Formal Proofs of Inequalities and Semidefinite Programming, November 27 2011, 1st GeoLMI meeting at Rennes [ slides ]
|
|
Preuves Formelles d'Inégalités et Programmation Semi-Définie, Prospective Meeting Proval/Typical, January 14 2011 [ slides ]
|
