Learning from Both Sides Linear and Nonlinear Mixed-Integer Optimization
July 3 - July 7, 2023
Optimization problems are categorized based on the types of variables and functions in their mathematical description, where mixed-integer linear programming (MILP) and mixed-integer nonlinear programming (MINLP) are two of the most general classes. Both classes of problems have been actively studied in the last decades due to their challenging mathematical properties and their remarkable versatility in representing complex processes and phenomena. MINLP problems are of great interest in applied mathematics as they combine numerical challenges of solving large nonlinear systems with combinatorial challenges, resulting in problems that are truly complex to solve. Research in the field is also driven by a large range of important applications across science and engineering.
Different research communities have formed around MILP and MINLP, even if the two are closely related. Historically, MILP and MINLP have been developed from different perspectives. MILP has been studied more in-depth from a mathematical perspective, and the theoretical foundation is stronger for linear problems. MILP is closely related to the fields of combinatorics and discrete geometry, and it can be viewed as a generalization of combinatorial optimization. Research in MINLP instead, has been more application driven. Several of the main contributions, both theoretical and algorithmic, originate from engineering. However, MINLP is also of great interest from a pure mathematical perspective and it is an active area for fundamental research.
The goal of the workshop is to bring together leading researchers from both the MILP and MINLP communities to discuss current challenges in the respective fields and transfer knowledge between the two. We believe that great mutual benefits can be obtained by learning from “the other side”. As the two communities have focused on somewhat different aspects, we believe that both communities can learn from each other when it comes to techniques, theory, and methods for dealing with challenging mixed-integer problems.
Seminars
-
Welcome / Introduction July 03 09:00 - 10:45 -
Ruth Misener: Optimization for ML and ML for optimization July 03 11:15 - 12:15 Ruth Misener: Optimization for ML and ML for optimization
-
Nick Sahinidis: Three generations of global MINLP solvers July 03 16:00 - 17:00 Nick Sahinidis: Three generations of global MINLP solvers
-
Margardia Carvalo: Extending the wonders of integer programming to solve games July 03 17:00 - 18:00 Margardia Carvalo: Extending the wonders of integer programming to solve games
-
Oliver Stein: Branch-and-bound in multiobjective mixed-integer nonlinear optimization July 04 09:00 - 10:00 Oliver Stein: Branch-and-bound in multiobjective mixed-integer nonlinear optimization
-
Talk 5 July 04 10:00 - 10:30 Talk 5
-
Santanu Dey: Convexification of one, two, three, and more quadratic constraints July 04 11:00 - 12:00 Santanu Dey: Convexification of one, two, three, and more quadratic constraints
-
Jeffrey Linderoth: Computational Ideas for Difficult Conic Optimization Problems July 04 16:30 - 17:30 Jeffrey Linderoth: Computational Ideas for Difficult Conic Optimization Problems
-
Talk 8 July 04 17:30 - 18:30 Talk 8
-
Timo Berthold: The role of primal heuristics in MIP (and MINLP) solvers July 05 09:00 - 10:00 Timo Berthold: The role of primal heuristics in MIP (and MINLP) solvers
-
Talk 10 July 05 10:00 - 10:30 Talk 10
-
David Bernal: Discrete nonlinear optimization: Modeling and solutions via novel hardware and decomposition algorithms July 05 11:00 - 12:00 David Bernal: Discrete nonlinear optimization: Modeling and solutions via novel hardware and decomposition algorithms
-
Sven Leyffer: Mixed-Integer PDE-Constrained Optimization July 05 13:30 - 14:30 Sven Leyffer: Mixed-Integer PDE-Constrained Optimization
-
Laura Palagi: From black forests to interpretable trees: recent development on Optimal classification trees July 06 09:00 - 10:00 Laura Palagi: From black forests to interpretable trees: recent development on Optimal classification trees
-
Talk 14 July 06 10:00 - 10:30 Talk 14
-
Talk 15 July 06 11:00 - 11:30 Talk 15
-
Talk 16 July 06 11:30 - 12:00 Talk 16
-
Talk 17 July 06 16:00 - 16:30 Talk 17
-
Talk 18 July 06 16:30 - 17:00 Talk 18
-
Talk 19 July 06 17:00 - 17:30 Talk 19
-
Talk 20 July 06 17:30 - 18:00 Talk 20
-
Talk 21 July 07 09:00 - 09:30 Talk 21
-
Talk 22 July 07 09:30 - 10:00 Talk 22
-
Talk 23 July 07 10:00 - 10:30 Talk 23
-
Talk 24 July 07 11:00 - 11:30 Talk 24
-
Talk 25 July 07 11:30 - 12:00 Talk 25
-
Closing July 07 12:00 - 12:15 Closing
Participants
Name | University | Country | Arrival and Departure |
---|---|---|---|
Nikita Belyak | University: Aalto University | City: Finland | Arrival and Departure: - |
David Bernal | University: Purdue University | City: United States | Arrival and Departure: - |
Timo Berthold | University: FICO, TU Berlin | City: Germany | Arrival and Departure: - |
Pierre Bonami | University: Gurobi | City: France | Arrival and Departure: - |
Margarida Carvalho | University: Université de Montréal | City: Canada | Arrival and Departure: - |
Hadi Charkhgard | University: University of South Florida | City: United States | Arrival and Departure: - |
Stefano Coniglio | University: University of Bergamo | City: United Kingdom | Arrival and Departure: - |
Claudia D’Ambrosio | University: CNRS and École Polytechnique | City: France | Arrival and Departure: - |
Marianna De Santis | University: Sapienza University of Rome | City: Italy | Arrival and Departure: - |
Santanu S. Dey | University: Georgia Institute of Technology | City: United States | Arrival and Departure: - |
Gabriele Eichfelder | University: Technische Universität Ilmenau | City: Germany | Arrival and Departure: - |
Sourour Elloumi | University: UMA, ENSTA Paris / CEDRIC, Cnam | City: France | Arrival and Departure: - |
Laura Galli | University: University of Pisa | City: Italy | Arrival and Departure: - |
Ambros Gleixner | University: HTW Berlin / Zuse Institute Berlin | City: Germany | Arrival and Departure: - |
Roghayeh Hajizadeh | University: Linköping University | City: Sweden | Arrival and Departure: - |
Olli Herrala | University: Aalto University | City: Finland | Arrival and Departure: - |
Christopher Hojny | University: Eindhoven University of Technology | City: The Netherlands | Arrival and Departure: - |
Aida Khajavirad (Online) | University: Lehigh University | City: United States | Arrival and Departure: - |
Jan Kronqvist | University: KTH Royal Institute of Technology | City: Sweden | Arrival and Departure: - |
Sven Leyffer | University: Argonne National Laboratory | City: United States | Arrival and Departure: - |
Jeff Linderoth | University: University of Wisconsin-Madison | City: United States | Arrival and Departure: - |
Moritz Link | University: Universität Konstanz | City: Germany | Arrival and Departure: - |
Andrea Lodi (Online) | University: Cornell Tech and Technion | City: United States | Arrival and Departure: - |
Andreas Lundell | University: Åbo Akademi University | City: Finland | Arrival and Departure: - |
Johan Löfberg | University: Linköping University | City: Sweden | Arrival and Departure: - |
Ruth Misener | University: Imperial College London | City: United Kingdom | Arrival and Departure: - |
Ivo Nowak | University: HAW-Hamburg | City: Germany | Arrival and Departure: - |
Fabricio Oliveira | University: Aalto University | City: Finland | Arrival and Departure: - |
Laura Palagi | University: Sapienza University of Rome | City: Italy | Arrival and Departure: - |
Ted Ralphs | University: Lehigh University | City: United States | Arrival and Departure: - |
Thomas Riis Stidsen | University: Technical University of Denmark | City: Denmark | Arrival and Departure: - |
Martin Ryner | University: KTH Royal Institute of Technology | City: Sweden | Arrival and Departure: - |
Elina Rönnberg | University: Linköping University | City: Sweden | Arrival and Departure: - |
Sebastian Sager (Online) | University: Otto-von-Guericke Universität Magdeburg | City: Germany | Arrival and Departure: - |
Nick Sahinidis | University: Georgia Institute of Technology | City: United States | Arrival and Departure: - |
Martin Schmidt | University: Trier University | City: Germany | Arrival and Departure: - |
Shamisa Shoja | University: Linköping University | City: Sweden | Arrival and Departure: - |
Oliver Stein | University: Karlsruhe Institute of Technology (KIT) | City: Germany | Arrival and Departure: - |
Ann-Brith Strömberg | University: University of Gothenburg | City: Sweden | Arrival and Departure: - |
Erik Tamm | University: KTH Royal Institute of Technology | City: Sweden | Arrival and Departure: - |
Stefan Ulbrich | University: TU Darmstadt | City: Germany | Arrival and Departure: - |
Shudian Zhao | University: KTH Royal Institute of Technology | City: Sweden | Arrival and Departure: - |