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.
- 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
- Seminar on Model Checking, 5 ECTS, autumn 2019
- Automated Logical Reasoning, 5 ECTS, spring 2019
- Probabilistic Graphical Models, 5 ECTS, spring 2019
- Seminar on Discrete Algorithms, 5 ECTS, spring 2019
- Combinatorial Optimization, 5 ECTS, autumn 2018
- Seminar on Automated Planning, 5 ECTS, autumn 2018
- Seminar on Applied Discrete Algorithms, 5 ECTS, spring 2018
- Seminar on Computational Social Choice, 3 ECTS, autumn 2016
- 1st SAT-SMT-AR Summer School lecture on Maximum satisfiability, June 2016
- AAAI-16 tutorial Algorithms for Maximum Satisfiability with Applications in AI, February 2016
- Satisfiability, Boolean Modeling and Computation, 5 ECTS, spring 2016
- Seminar on Tractability, 3 ECTS, autumn 2015
- Satisfiability, Boolean Modeling and Computation, 3 ECTS intensive course, spring 2015
- Seminar: Constraint Solving Meets Machine Learning and Data Mining, 3 ECTS spring 2013
- Discrete Optimization Project, 2 ECTS, spring 2012
- Discrete Optimization, 3 ECTS, autumn 2011
- Seminar on Boolean Constraint Reasoning, 3 ECTS autumn 2010