Teaching
Lectures and seminars offered by our group:
Winter 2024/2025
| Course | Course Type | Teacher/Tutor |
|---|---|---|
| Automated Reasoning | Lecture | Christoph Weidenbach |
| Deciscion Procedures for Specific Theories | Seminar | Thomas Sturm, Christoph Weidenbach |
Summer 2024
| Course | Course type | Teacher / Tutor |
|---|---|---|
| Automated Reasoning II | Lecture | Uwe Waldmann |
| Competitive Programming | Lecture | Markus Bläser, Karl Bringmann, Martin Bromberger, Christoph Weidenbach |
Winter 2023/2024
| Course | Course type | Teacher / Tutor |
|---|---|---|
| Automated Reasoning | Lecture | Uwe Waldmann |
Summer 2023
| Course | Course type | Teacher / Tutor |
|---|---|---|
| Algorithmic Quantifier Elimination | Lecture | Thomas Sturm |
Winter 2022/2023
| Course | Course type | Teacher / Tutor |
|---|---|---|
| Automated Reasoning | Lecture | Weidenbach, Christoph, Bromberger, Martin, Möhle, Sibylle, Schwarz, Simon |
Summer 2022
| Course | Course type | Teacher / Tutor |
|---|---|---|
| Automated Reasoning II | Lecture | Uwe Waldmann |
| Competitive Programming | Lecture | Markus Bläser, Karl Bringmann, Martin Bromberger, Christoph Weidenbach |
Winter 2021/2022
| Course | Course type | Teacher / Tutor |
|---|---|---|
| Automated Reasoning | Lecture | Uwe Waldmann |
Winter 2020/2021
| Course | Course type | Teacher / Tutor |
|---|---|---|
| Automated Reasoning | Lecture | Weidenbach, Christoph, Haifani, Fajar |