We regularly organize advanced lecture and seminar courses related to the research themes of the group.

The following list provides links to individual forthcoming, present, and past courses we have been involved in.


  • Combinatorial Optimization, 5 ECTS, autumn 2022
  • Seminar on Automated Reasoning and Optimization, 5 ECTS, spring 2023
    • Highly recommended for student taking/having taken Automated Logical Reasoning and/or Combinatorial Optimization