International Conferences with Proceedings

Enclosures of Roundoff Errors using SDP, 2017 September 27, 18th French-German-Italian Conference on Optimization Paderborn, Germanyslides ]
Semidefinite Approximations of Reachability Sets for Discrete-time Polynomial Systems, 2017 August 3, SIAG17 Atlanta, Georgia Techslides ]
Nichtnegativstellensätze for Univariate Polynomials, 2017 January 17, JNCF 2017 CIRM, Marseilleslides ]
Convergent Robust SDP Approximations for Semialgebraic Optimization, 2016 August 10, ICCOPT 2016 GRIPS, Tokyoslides ]
Semidefinite Approximations of Reachability Sets for Discrete-time Polynomial Systems, 2016 March 23, SMAI-MODE 2016 Enseeiht, Toulouseslides ]
Automated Precision Tuning using Semidefinite Programming, 2015 June 15, BFG 2015 Imperial College, Londonslides ]
Semidefinite approximations of projections and polynomial images of semialgebraic sets, 2014 November 5, JNCF 2014 CIRM, Marseilleslides ]
NLCertify: A tool for formal nonlinear optimization, 2014 August 6, ICMS 2014 The 4th International Congress on Mathematical Software, Séoulslides ]
Certification of Inequalities involving Transcendental Functions: combining SDP and Max-plus Approximation, 2013 July 18, ECC 2013 European Control Conference, ETH Zurichslides ]
Certification of Bounds of Non-linear Functions : the Templates Method, 2013 July 8, CICM 2013 Calculemus, Bathslides ]
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 ]

PhD Defense

Formal Proofs for Global Optimization -- Templates and Sums of Squares, 2013 December 9, Ecole Polytechnique Palaiseau [ slides ]

Vulgarisation Scientifique

Techniques de preuve formelle en science : le défi, 23 Novembre 2014, Semaines Sociales de France Session : L'Homme et les Technosciences, le défi. Université Catholique de Lilletexte ]

Seminars and Workshops

Enclosures of Roundoff Errors using SDP, 29 August 2017, Analysis and Synthesis of Floating-point Programs Dagstuhl Seminar, Germanyslides ]
Certified Optimization for System Verification, 26 June 2017, Comité de Liaison SMAI-MODEslides ]
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems, 7 July 2016, CASYS-Meff Seminar Imag Grenobleslides ]
Certification of Roundoff Errors with SDP Relaxations and Formal Interval Methods, 20 June 2016, SWIM 16 ENS Lyonslides ]
Formal verification of roundoff error bounds using semidefinite programming, 16 June 2016, GTVerif Irif Parisslides ]
Semidefinite approximations of projections and polynomial images of semialgebraic sets, 18 January 2016, CompACS Meeting Grenobleslides ]
Certified Roundoff Error Bounds using Semidefinite Programming and Formal Floating Point Arithmetic, 13 January 2016, Effective Analysis: Foundations, Implementations, Certification CIRM, Marseilleslides ]
Semidefinite approximations of projections and polynomial images of semialgebraic sets, 26 November 2015, Gipsa Lab Grenobleslides ]
Certified Roundoff Errors using Semidefinite Programming, 19 November 2015, Mescal Seminar INRIA, Grenobleslides ]
NLVerify: Verification of Polynomial Inequalities using Formal Floating-point Arithmetic, 27 October 2015, Spades Seminars on Formal Methods and Languages INRIA, Grenobleslides ]
Semidefinite Optimization for System Verification, 08 October 2015, Tempo Meeting VERIMAG, Grenobleslides ]
Flyspeck Inequalities and Semidefinite Programming, 29 June 2015, Memory Optimization and Co-Design Meeting Circuits and Systems, Imperial Collegeslides ]
Formal proofs for nonlinear optimization, 03 March 2015, Quads Seminar Dept of Computing, Imperial Collegeslides ]
Semidefinite approximations of projections and polynomial images of semialgebraic sets, 23 February 2015, SOS Fluid Meeting Dept of Engineering Science, Oxfordslides ]
New Applications of Moment-SOS Hierarchies, February 12 2015, Pequan Group Seminar, LIP6 Parisslides ]
New Applications of Semidefinite Programming, February 3 2015, Journées GDR-IM 2015 LABRI, Bordeauxslides ]
New Applications of Moment-SOS Hierarchies, November 17 2014, Circuits and Systems Group Seminar, Imperial College Londonslides ]
New Applications of Moment-SOS Hierarchies, November 13 2014, Verimag Group Seminar, Grenobleslides ]
New Applications of Semidefinite Programming, October 18 2014, Imagination Technologies Verification Group, Kings Langleyslides ]
NLCertify: A tool for formal nonlinear optimization, September 18 2014, Aric Seminar LIP, Lyonslides ]
Semialgebraic Relaxations using Moment-SOS hierarchies, September 17 2014, Sierra Seminar Computer Science Department of ENS Parisslides ]
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 Seminarslides ]
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 ]