Courses

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 2024
  • Automated Logical Reasoning, 5 ECTS, spring 2024
  • Seminar on Automated Reasoning and Optimization, 5 ECTS, spring 2023
  • Combinatorial Optimization, 5 ECTS, autumn 2022
  • Automated Logical Reasoning, 5 ECTS, spring 2022
  • Seminar on Logic-Enabled Verified and Explainable AI, 5 ECTS, autumn 2021
  • Automated Logical Reasoning, 5 ECTS, spring 2021
  • Combinatorial Optimization, 5 ECTS, autumn 2020
  • , 5 ECTS, autumn 2019
  • , 5 ECTS, spring 2019
  • , 5 ECTS, spring 2019
  • , 5 ECTS, spring 2019
  • , 5 ECTS, autumn 2018
  • , 5 ECTS, autumn 2018
  • , 5 ECTS, spring 2018
  • , 3 ECTS, autumn 2016
  • lecture on Maximum satisfiability, June 2016
  • AAAI-16 tutorial , February 2016
  • , 5 ECTS, spring 2016
  • , 3 ECTS, autumn 2015
  • , 3 ECTS intensive course, spring 2015
  • , 3 ECTS spring 2013
  • , 2 ECTS, spring 2012
  • , 3 ECTS, autumn 2011
  • , 3 ECTS autumn 2010