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

    Welcome / Introduction

  • 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: -