Date: March 6 - 8, 2018
Place: RWTH Aachen University, Germany
Organizer: Chair of Operations Research
We are happy to announce our upcoming SCIP Workshop from March 6 to 8, 2018. It is intended for
The main focus of the workshop is to provide a forum for current and prospective SCIP users to discuss their applications and share their experience with SCIP. Therefore, we invite you to participate and to give an approximately 30-minute talk on your research. There will be 10 minutes of discussion after every presentation.
The first day of the workshop will be dedicated to a hands-on introduction into the SCIP Optimization Suite, followed by two days of scientific talks, including a plenary talk by Ruth Misener from the Imperial College London on March 7 and talks by developers of the SCIP Optimization Suite about their research.
While we recommend participants to attend the complete workshop, it is also possible to attend only the introduction day or only the final two days of scientific talks.
The workshop will be free of charge and take place at Room HKW 1, Wüllnerstr. 1, RWTH Aachen University, Germany
If you want to attend the workshop, please write to SCIPworkshop2018@or.rwth-aachen.de by February 1, 2018, and let us know if you are planning to give a talk and whether you want to participate in the SCIP introduction on March 6.
Workshop schedule including abstracts
March 6 – SCIP Introduction | |
09:30 - 11:00 | Introduction and Overview |
11:00 - 11:30 | Coffee break |
11:30 - 12:30 | Installation and testing of SCIP and GCG |
12:30 - 14-00 | Lunch break |
14:00 - 17:30 | Programming exercises: Python or C/C++ (LOP) or Bring-your-own |
15:30 - 16:00 | Coffee break |
March 7 – Workshop Day 1 | ||
Time | Speaker | Session |
---|---|---|
Session 1 – Chair: Matthias Walter | ||
09:00 - 09:10 | Marco Lübbecke | Welcome |
09:10 - 09:45 | Felipe Serrano | MINLP and stronger separation of bilinear terms |
09:45 - 10:20 | Stefan Vigerske | Introducing a new nonlinear expressions framework for SCIP |
10:20 - 10:55 | Pavlo Muts | Development of the new MINLP Solver Decogo using SCIP – Status Report |
10:55 - 11:30 | Coffee break | |
Plenary Session – Chair: Ambros Gleixner | ||
11:30 - 12:30 | Ruth Misener | Online generation via offline selection – Low dimensional linear cuts from QP SDP relaxation |
12:30 - 14:00 | Lunch break | |
Session 3 – Chair: Christopher Hojny | ||
14:00 - 14:35 | Marc Pfetsch | Global optimization of ODE constrained network problems |
14:35 - 15:10 | Tristan Gally | Warmstarts and other improvements in SCIP-SDP |
15:10 - 15:45 | Leon Eifler | Proving cases of Chvatal's conjecture using exact SCIP and VIPR |
15:45 - 16:15 | Coffee break | |
Session 4 – Chair: Jonas Witt | ||
16:15 - 16:50 | Gregor Hendel | Using bandit algorithms for adaptive algorithmic decisions in SCIP |
16:50 - 17:25 | Saurabh Chandra | An MILP based hierarchical planning model for outbound automotive, maritime logistics system in India |
17:25 - 18:00 | Frederic Matter | Solving complex-valued l0 minimization problems with constant modulus constraints |
19:00 | Social event: Workshop dinner |
March 8 – Workshop Day 2 | ||
Time | Speaker | Session |
---|---|---|
Session 5 – Chair: Stephen J. Maher | ||
09:15 - 09:50 | Ambros Gleixner | Exact methods for recursive circle packing: "price-and-verify" with nonlinear subproblems |
09:50 - 10:25 | Markó Horváth | A branch-and-price method for the integrated multiple-depot vehicle and crew scheduling problem |
10:25 - 10:45 | Patrick Gemander | Presolve Examples in SCIP |
10:45 - 11:20 | Coffee break | |
Session 6 – Chair: Jakob Witzig | ||
11:20 - 11:55 | Michael Bastubbe | Modular Detection of Model Structure in Integer Programming |
11:55 - 12:30 | Jonas Witt | Eliminating redundant columns from column generation subproblems using classical Benders’ cuts |
12:20 - 14:00 | Lunch break | |
Session 7 – Chair: Felipe Serrano | ||
14:00 - 14:35 | Stephen J. Maher | Large Neighbourhood Benders' Search |
14:35 - 15:10 | Matthias Walter | Solving Bulk-Robust Assignment Problems to Optimality |
15:10 - 15:45 | Jakob Witzig | Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes |
15:45 - 16:15 | Coffee break |
For more information, talks, and abstracts of the last SCIP Workshops, visit the homepage of the SCIP Workshop 2014 or SCIP Workshop 2012.
Programming introductions to SCIP can be found, e.g., in the course material of the 2015 workshop Combinatorial Optimization at Work.