Title: Integrating Mixed Integer Optimisation and Logic with Satisfiability Modulo TheoriesSpeaker: Miten MistryAffiliation: Department of Computing - Imperial College LondonLocation: Room 418 Huxley BuildingTime: 5:00pmAbstract. Mixed integer optimisation problems, especially those involving design or organisation, often have an inherent logical structure. Existing frameworks to model and utilise such structure reformulate the problem into a mixed... Read more »

Title: On the Convergence of Galerkin Type Multilevel Optimization MethodsSpeaker: Chin Pang Ho (Clint)Affiliation: Department of Computing - Imperial College LondonLocation: Huxley BuildingTime: 4:00pmAbstract. About the speaker. Chin Pang Ho (Clint) is a PhD student in the Department of Computing (QUADS group) at Imperial College, under the supervision of Dr Panos Parpas. He received a... Read more »

Title: A Parametric Approach to Solving the Pooling ProblemSpeaker: Radu Baltean LugojanAffiliation: Department of Computing - Imperial College LondonLocation: Huxley BuildingTime: 5:00pmAbstract. We develop an algorithm solving specialised pooling problem instances and generating cutting planes for more generic instances. The approach parameterises the optimisation problem with respect to the pool concentration variables and uncovers embedded... Read more »

Title: Asymptotic Error Bounds for Control Constrained Singularly Perturbed Linear Quadratic Optimal Control ProblemsSpeaker: Sei HoweAffiliation: Department of Computing - Imperial College LondonLocation: Huxley BuildingTime: 4:00pmAbstract. About the speaker. Sei Howe is a PhD student in the QUADS group at Imperial College. She received her B.A in pure mathematics from Reed College, USA in 2011... Read more »

Title: Symmetry Groups and Topological Structure of Optimisation ProblemsSpeaker: Georgia KouyialisAffiliation: Department of Computing - Imperial College LondonLocation: Huxley BuildingTime: 5:00pmAbstract. About the speaker. Georgia Kouyialis is a PhD student in the Department of Computing (QUADS group), at Imperial College, under the supervision of Dr. Ruth Misener. She obtained the MSci (Hons) degree in Mathematics... Read more »

Title: Scheduling Algorithms for Energy Efficiency in Computing SystemsSpeaker: Dimitrios LetsiosAffiliation: Department of Computing - Imperial College LondonLocation: Huxley BuildingTime: 3:00pmAbstract. Energy consumption of computing devices has become an important issue nowadays. A major tool for efficient energy management in the system level is dynamic speed (frequency) scaling combined with job scheduling. In this context,... Read more »

Title: Mixed-integer convex optimizationSpeaker: Miles LubinAffiliation: Massachusetts Institute of TechnologyLocation: Room 217 Huxley BuildingTime: 3:00pmAbstract. Mixed-integer convex optimization problems are convex problems with the additional (non-convex) constraints that some variables may take only integer values. Despite the past decades' advances in algorithms and technology for both mixed-integer *linear* and *continuous, convex* optimization, mixed-integer convex optimization... Read more »

Title: Pooling Problems: Advances in Theory and ApplicationsSpeaker: Fabian RigterinkAffiliation: School of Mathematical and Physical Sciences - The University of Newcastle AustraliaLocation: Room 554 Huxley BuildingTime: 3:00pmAbstract. The pooling problem is a nonconvex nonlinear programming problem with important applications. The nonlinearities of the problem arise from bilinear constraints that capture the blending of raw materials.... Read more »

Title: Optimisation with occasionally accurate data Speaker: Coralia Cartis Affiliation: Mathematical Institute - Oxford and Balliol College Location: Huxley building Time: 2:00pm (1 hour) Abstract. We present global rates of convergence for a general class of methods for nonconvex smooth optimization that include linesearch, trust-region and regularisation strategies, but that allow inaccurate problem information. Namely, we... Read more »

Title: On the Passage From Local to Global in Optimization - New Challenges in Theory and Practice Speaker: Prof. Panos M. Pardalos Affiliation: Departments of Industrial and Systems and Biomedical Engineering - University of Florida Location: Room 145 Huxley Building Time: 4:30pm (1 hour) Abstract. Large scale problems in the design of networks, energy systems, medicine and drug design,... Read more »