Many engineering, operations, and scientific applications
involve both discrete decisions and nonlinear relationships
that significantly affect the feasibility and optimality of
solutions. Mixed-integer nonlinear programming (MINLP) problems
combine the difficulty of optimizing over discrete variable
sets with the challenges of handling nonlinear functions.
MINLP is one of the most flexible modeling paradigms available:
An expanding body of researchers and practitioners, including
chemical engineers, operations researchers, industrial
engineers, mechanical engineers, economists, statisticians,
computer scientists, operations managers, and mathematical
programmers are interested in solving large-scale MINLPs.
Unfortunately, the wealth of applications that can be
accurately modeled
by using MINLP is not yet matched by the capability of
available
optimization solvers. Yet, the two components of MINLP, namely
mixed-integer linear programming (MIP), and nonlinear
programming (NLP),
have witnessed tremendous progress over the past 15 years. By
cleverly
incorporating many theoretical advances in MIP research,
powerful
academic, open source, and commercial solvers paved the way for
MIP to
emerge as a viable, widely used decision-making tool.
Similarly, new
paradigms and a better theoretical understanding have created
faster and
more reliable NLP solvers that work well even under adverse
conditions
such as failures of constraint qualifications.
The time is right to synthesize these advances and inspire new
ideas in order to transform MINLP into an area in which
researchers and practitioners can access robust tools and
methods capable of solving a wide range of important, commonly
occurring decision support problems. This workshop brings
together experts from relevant optimization areas to exchange
recent results on MINLP, chart the future of MINLP, explore new
and innovative applications, and outline the challenges facing
this area. The workshop will discuss novel solution approaches
and the impact of new powerful computational resources to solve
MINLP problems.
| Schedule |
| Monday | Tuesday | Wednesday | Thursday | Friday |
|
Monday, November 17
|
| 8:00am-8:45am |
Registration and coffee |
|
EE/CS 3-176 |
| 8:45am-9:00am |
Welcome to the IMA |
Fadil Santosa (University of Minnesota) |
EE/CS 3-180 |
| 9:00am-10:00am |
Building an effective solver for convex mixed integer nonlinear programs
|
Jeff Linderoth (University of Wisconsin) |
EE/CS 3-180 |
| 10:00am-10:30am |
Coffee |
|
EE/CS 3-176 |
| 10:30am-11:15am |
Branching strategies and heurisitcs in a
branch-and-bound for convex MINLPs
|
Pierre Bonami (Centre National de la Recherche Scientifique (CNRS)) |
EE/CS 3-180 |
| 11:15am-12:00pm |
Branching rules in branch-and-bound algorithms for
nonconvex mixed-integer nonlinear programming
|
Pietro Belotti (Lehigh University) |
EE/CS 3-180 |
| 12:00pm-2:00pm |
Lunch |
|
|
| 2:00pm-2:45pm |
Fast infeasibility detection in nonlinear optimization
|
Jorge Nocedal (Northwestern University) |
EE/CS 3-180 |
| 2:45pm-3:30pm |
Using interior-point methods within MINLP
|
Hande Yurttan Benson (Drexel University) |
EE/CS 3-180 |
| 3:30pm-3:45pm |
Group Photo |
|
|
| 3:45pm-4:15pm |
Coffee |
|
EE/CS 3-176 |
| 4:15pm-5:15pm |
Discussion
|
Sven Leyffer (Argonne National Laboratory) |
EE/CS 3-180 |
|
Tuesday, November 18
|
| 8:30am-9:00am |
Coffee |
|
EE/CS 3-176 |
| 9:00am-10:00am |
Copositive programming and combinatorial optimization
|
Franz F. Rendl (Universität Klagenfurt) |
EE/CS 3-180 |
| 10:00am-10:30am |
Coffee |
|
EE/CS 3-176 |
| 10:30am-11:15am |
The difference between 5x5 doubly nonnegative
and completely positive matrices
|
Kurt M. Anstreicher (University of Iowa) |
EE/CS 3-180 |
| 11:15am-12:00pm |
Convex relaxations of non-convex MIQCP
|
Anureet Saxena (Axioma Inc.) |
EE/CS 3-180 |
| 12:00pm-2:00pm |
Lunch |
|
|
| 2:00pm-2:45pm |
A branch-and-refine method for nonconvex mixed integer optimization
|
Annick Sartenaer (Facultés Universitaires Notre Dame de la Paix (Namur)) |
EE/CS 3-180 |
| 2:45pm-3:30pm |
Reformulations in mathematical programming: Symmetry
|
Leo Liberti (École Polytechnique) |
EE/CS 3-180 |
| 3:30pm-4:00pm |
Coffee |
|
EE/CS 3-176 |
| 4:00pm-5:00pm |
Discussion
|
Francois Margot (Carnegie Mellon University) |
EE/CS 3-180 |
| 5:00pm-6:30pm |
Poster Session and Reception: 5:00-6:30
Poster submissions welcome from all participants Lind Hall 400
|
|
Wednesday, November 19
|
| 8:30am-9:00am |
Coffee |
|
EE/CS 3-176 |
| 9:00am-10:00am |
What's new in SQP methods?
|
Philip E. Gill (University of California, San Diego) |
EE/CS 3-180 |
| 10:00am-10:30am |
Coffee |
|
EE/CS 3-176 |
| 10:30am-11:15am |
Global optimization of MINLP problems containing signomial functions
|
Tapio Westerlund (Åbo Akademi (Finland-Swedish University of Åbo)) |
EE/CS 3-180 |
| 11:15am-12:00pm |
A local relaxation approach for the siting of electrical
substations
|
Uday V. Shanbhag (University of Illinois at Urbana-Champaign) |
EE/CS 3-180 |
| 12:00pm-2:00pm |
Lunch |
|
|
| 2:00pm-2:45pm |
A comparative study of linear and semidefinite branch-and-cut
methods for solving the minimum graph bisection problem
|
Christoph Helmberg (Technische Universität Chemnitz-Zwickau) |
EE/CS 3-180 |
| 2:45pm-3:10pm |
Preprocessing techniques for discrete optimization problems
|
Todd S. Munson (Argonne National Laboratory) |
EE/CS 3-180 |
| 3:10pm-3:35pm |
Using expression graphs in optimization algorithms
|
David M. Gay (Sandia National Laboratories) |
EE/CS 3-180 |
| 3:35pm-4:05pm |
Coffee |
|
EE/CS 3-176 |
| 4:05pm-5:05pm |
Discussion
|
Tamás Terlaky (Lehigh University) |
EE/CS 3-180 |
|
Thursday, November 20
|
| 8:30am-9:00am |
Coffee |
|
EE/CS 3-176 |
| 9:00am-10:00am |
Nonlinear discrete optimization I
|
Robert Weismantel (Otto-von-Guericke-Universität Magdeburg) |
EE/CS 3-180 |
| 10:00am-10:30am |
Coffee |
|
EE/CS 3-176 |
| 10:30am-11:15am |
Nonlinear discrete optimization II
|
Shmuel Onn (Technion-Israel Institute of Technology) |
EE/CS 3-180 |
| 11:15am-12:00pm |
On the foundations of the theory of non-Linear and
multi-objective integer optimization
|
Jesus Antonio De Loera (University of California, Davis) |
EE/CS 3-180 |
| 12:00pm-2:00pm |
Lunch |
|
|
| 2:00pm-2:25pm |
Parallelization issues for MINLP Part I
|
William E. Hart (Sandia National Laboratories) |
EE/CS 3-180 |
| 2:25pm-2:50pm |
Parallelization issues for MINLP Part II
|
Cynthia A. Phillips (Sandia National Laboratories) |
EE/CS 3-180 |
| 2:50pm-3:35pm |
MINLP application for optimizing sourcing decisions in a
distressed supplier environment
|
Erica Zimmer Klampfl (Ford) |
EE/CS 3-180 |
| 3:35pm-4:05pm |
Coffee |
|
EE/CS 3-176 |
| 4:05pm-5:05pm |
Discussion
|
Jon Lee (IBM) |
EE/CS 3-180 |
| 6:30pm-8:30pm |
Workshop dinner at Pagoda Restaurant |
|
Pagoda Restaurant
1417 4th St. SE
Minneapolis, MN
612-378-4710 |
|
Friday, November 21
|
| 8:30am-9:00am |
Coffee |
|
EE/CS 3-176 |
| 9:00am-10:00am |
Generalized disjunctive programming: A framework for
formulation and alternative algorithms for MINLP optimization
|
Ignacio E. Grossmann (Carnegie Mellon University) |
EE/CS 3-180 |
| 10:00am-10:30am |
Coffee |
|
EE/CS 3-176 |
| 10:30am-11:15am |
Mixed integer second order cone programming
|
Sarah Drewes (TU Darmstadt) |
EE/CS 3-180 |
| 11:15am-12:00pm |
Solving nonconvex MINLP by quadratic approximation
|
Stefan Vigerske (Humboldt-Universität) |
EE/CS 3-180 |
| 12:00pm-2:00pm |
Lunch |
|
|
| 2:00pm-2:45pm |
Nonlinear optimization via summation and integration
|
Matthias Koeppe (University of California, Davis) |
EE/CS 3-180 |
| 2:45pm-3:30pm |
From the stable set problem to convex algebraic geometry
|
Pablo A. Parrilo (Massachusetts Institute of Technology) |
EE/CS 3-180 |
| 3:30pm-4:00pm |
Coffee |
|
EE/CS 3-176 |
| 4:00pm-5:00pm |
Discussion
|
Tapio Westerlund (Åbo Akademi (Finland-Swedish University of Åbo)) |
EE/CS 3-180 |
| 5:00pm-5:05pm |
Closing remark |
Jon Lee (IBM), Sven Leyffer (Argonne National Laboratory) |
EE/CS 3-180 |
| Name | Department | Affiliation |
|---|
| Kurt M. Anstreicher | Department of Management Sciences | University of Iowa |
| Pietro Belotti | Industrial and Systems Engineering Department | Lehigh University |
| Hande Yurttan Benson | Department of Decision Sciences | Drexel University |
| Dimitris Bertsimas | Sloan School of Management | Massachusetts Institute of Technology |
| Lorenz T. Biegler | Chemical Engineering Department | Carnegie Mellon University |
| Christian Bliek | CPLEX R&D | ILOG Corporation |
| Pierre Bonami | Laboratoire d'Informatique Fondamentale de Marseille | Centre National de la Recherche Scientifique (CNRS) |
| Samuel Burer | Department of Management Sciences | University of Iowa |
| Alfonso Cano | | University of Minnesota |
| Xianjin Chen | Institute for Mathematics and its Applications | University of Minnesota |
| Claudia D'Ambrosio | Dipartimento di Elettronica, Informatica e Sistemistica | Università di Bologna |
| Michel Jacques Daydé | ENSEEIHT | Institut National Polytechnique de Toulouse |
| Jesus Antonio De Loera | Department of Mathematics | University of California, Davis |
| Sarah Drewes | Mathematics, Research Group Nonlinear Optimization | TU Darmstadt |
| Ricardo Fukasawa | T.J. Watson Research Center | IBM |
| Kevin Furman | | Exxon Research and Engineering Company |
| Weiguo Gao | School of Mathematical Sciences | Fudan University |
| David M. Gay | Optimization and Uncertainty Estimation | Sandia National Laboratories |
| Philip E. Gill | Department of Mathematics | University of California, San Diego |
| Ignacio E. Grossmann | Department of Chemicial Engineering | Carnegie Mellon University |
| Oktay Gunluk | Mathematical Sciences Department | IBM |
| William E. Hart | | Sandia National Laboratories |
| David Haws | Department of Mathematics | University of California, Davis |
| Christoph Helmberg | Fakultät für Mathematik | Technische Universität Chemnitz-Zwickau |
| Andreas G. Karabis | Department of Research and Development | PI Medical Ltd |
| Vassilio kekatos | | University of Minnesota |
| Mustafa Rasim Kilinc | Industrial and Systems Engineering Department | University of Wisconsin |
| Erica Zimmer Klampfl | Ford Research Laboratory | Ford |
| Matthias Koeppe | Department of Mathematics | University of California, Davis |
| Jon Lee | Mathematical Sciences Department | IBM |
| Thomas Lehmann | Fachgruppe Informatik | Universität Bayreuth |
| Sven Leyffer | Mathematics and Computer Science Division | Argonne National Laboratory |
| Tong Li | Department of Mathematics | University of Iowa |
| Yongfeng Li | Institute for Mathematics and its Applications | University of Minnesota |
| Leo Liberti | LIX | École Polytechnique |
| Jeff Linderoth | Department of Industrial and Systems Engineering | University of Wisconsin |
| Chun Liu | Institute for Mathematics and its Applications | University of Minnesota |
| Andrea Lodi | | Università di Bologna |
| James Luedtke | Industrial and Systems Engineering Department | University of Wisconsin |
| Tom Luo | Department of Electrical and Computer Engineering | University of Minnesota |
| Francois Margot | School of Business | Carnegie Mellon University |
| Susan Margulies | Department of Computational and Applied Mathematics | Rice University |
| Andrew James Miller | Department of Mathematics | Université de Bordeaux I |
| Kien Ming Ng | Department of Industrial & Systems Engineering | National University of Singapore |
| John E. Mitchell | Department of Mathematical Sciences | Rensselaer Polytechnic Institute |
| Hans Mittelmann | Department of Mathematics and Statistics | Arizona State University |
| Todd S. Munson | Mathematics and Computer Science Division | Argonne National Laboratory |
| Mahdi Namazifar | Industrial and Systems Engineering Department | University of Wisconsin |
| Giacomo Nannicini | Laboratoire d'Informatique | École Polytechnique |
| Jorge Nocedal | Department of Electrical Engineering and Computer Science | Northwestern University |
| Isamu Onishi | Department of Mathematical and Life Sciences | Hiroshima University |
| Shmuel Onn | IE & M | Technion-Israel Institute of Technology |
| Pablo A. Parrilo | Electrical Engineering and Computer Science Department | Massachusetts Institute of Technology |
| Jaroslav Pekar | Honeywell Prague Laboratory | Honeywell |
| Jiming Peng | Department of Industrial and Enterprise System Engineering | University of Illinois at Urbana-Champaign |
| Cynthia A. Phillips | Discrete Mathematics and Complex Systems Department | Sandia National Laboratories |
| Kashif Rashid | Mathematical Modelling Department | Schlumberger Cambridge Research |
| Franz F. Rendl | Institut für Mathematik | Universität Klagenfurt |
| Kees Roos | Department of Statistics, Probability and Oper Research | Technische Universiteit te Delft |
| Sebastian Sager | Interdisciplinary Center for Scientific Computing | Ruprecht-Karls-Universität Heidelberg |
| Fadil Santosa | Institute for Mathematics and its Applications | University of Minnesota |
| Annick Sartenaer | Department of Mathematics | Facultés Universitaires Notre Dame de la Paix (Namur) |
| Anureet Saxena | | Axioma Inc. |
| Uday V. Shanbhag | Industrial & Enterprise Systems Engineering Department | University of Illinois at Urbana-Champaign |
| Tamás Terlaky | Department of Industrial and Systems Engineering | Lehigh University |
| Jon Van Laarhoven | Department of Applied Mathematics and Computational Sciences | University of Iowa |
| Stefan Vigerske | Department of Mathematics | Humboldt-Universität |
| Andreas Wächter | Mathematical Sciences Department | IBM |
| Richard A. Waltz | Department of Industrial and Systems Engineering | University of Southern California |
| Robert Weismantel | Department of Mathematical Optimization | Otto-von-Guericke-Universität Magdeburg |
| Tapio Westerlund | Department of Chemical Engineering | Åbo Akademi (Finland-Swedish University of Åbo) |
| Angelika Wiegele | Department of Mathematics | Universität Klagenfurt |
| Fei Yang | Department of Biomedical Engineering | University of Minnesota |
| Hongchao Zhang | Department of Mathematics | Louisiana State University |