Flyspeck Inequalities and Semidefinite Programming, June 29 2015, Memory Optimization and CoDesign Meeting Circuits and Systems, Imperial College [ slides ]

Formal proofs for nonlinear optimization, March 03 2015, Quads Seminar Dept of Computing, Imperial College [ slides ]

Semidefinite approximations of projections and polynomial images of semialgebraic sets, February 23 2015, SOS Fluid Meeting Dept of Engineering Science, Oxford [ slides ]

New Applications of MomentSOS Hierarchies, February 12 2015, Pequan Group Seminar, LIP6 Paris [ slides ]

New Applications of Semidefinite Programming, February 3 2015, Journées GDRIM 2015 LABRI, Bordeaux [ slides ]

New Applications of MomentSOS Hierarchies, November 17 2014, Circuits and Systems Group Seminar, Imperial College London [ slides ]

New Applications of MomentSOS 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 MomentSOS hierarchies, September 17 2014, Sierra Seminar Computer Science Department of ENS Paris [ slides ]

New applications of MomentSOS hierarchies, August 13 2014, 専攻談話会（セミナー） Tokyo Institute of Technology Dept. of Math. Comput. Sci. [ slides ]

Formal Proofs, Program Analysis and MomentSOS 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 SemiDéfinie, Prospective Meeting Proval/Typical, January 14 2011 [ slides ]
