Title: Formal Proofs for Nonlinear OptimizationSpeaker: Dr. Victor MagronAffiliation: Department of Electrical and Electronic Engineering - Imperial College LondonLocation: Room 217 Huxley BuildingTime: 2:00pmAbstract. We present a formally verified global... Read more »

Title: Worst-case complexity of nonlinear optimization: Where do we stand?Speaker: Prof. Philippe TointAffiliation: Department of Mathematics – Université de NamurLocation: CPSE seminar room (C615 Roderic Hill)Time: 11:00amAbstract. We review the... Read more »

Title: McCormick Relaxations: Convergence Rate and Extension to Multivariate Outer FunctionsSpeaker: Prof. Alexander MitsosAffiliation: Laboratory for Process Systems Engineering - RWTH Aachen UniversityLocation: CPSE seminar room (C615 Roderic Hill)Time: 3:00pmAbstract.... Read more »