Scippy

SCIP

Solving Constraint Integer Programs

Photos by Peter Winandy
Organizer: Chair of Operations Research
External Sponsors

SCIP Workshop 2018

Date: March 6 - 8, 2018
Place: RWTH Aachen University, Germany Organizer: Chair of Operations Research

About the SCIP Workshop

We are happy to announce our upcoming SCIP Workshop from March 6 to 8, 2018. It is intended for

  • students (undergraduate and graduate) and researchers who would like to know more about SCIP, and
  • researchers who already use SCIP and want to share their experiences.

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.

Registration

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.

Schedule

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

Accommodation

You can find a list of hotels and reservation forms here.

Previous Workshops

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.