Enclosures of Roundoff Errors using SDP, 29 August 2017, Analysis and Synthesis of Floatingpoint Programs Dagstuhl Seminar, Germany [ slides ]

Certified Optimization for System Verification, 26 June 2017, Comité de Liaison SMAIMODE [ slides ]

Semidefinite Approximations of Reachable Sets for Discretetime Polynomial Systems, 7 July 2016, CASYSMeff 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 Floatingpoint 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 CoDesign 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 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 ]
