International Conferences with Proceedings

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

Flyspeck Inequalities and Semidefinite Programming, June 29 2015, Memory Optimization and Co-Design Meeting Circuits and Systems, Imperial Collegeslides ]
Formal proofs for nonlinear optimization, March 03 2015, Quads Seminar Dept of Computing, Imperial Collegeslides ]
Semidefinite approximations of projections and polynomial images of semialgebraic sets, February 23 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 ]