Die Lehraktivitäten der Gruppe sind auf dieser Seite aufgeführt.

Sommersemester 2025

• Automated Reasoning
• Logic and Verification Seminar SS25

Wintersemester 2024-2025

• Logik und Semantik von Programmiersprachen
• Game-Theoretic Techniques in Logic and Verification
• Logic and Verification Seminar WS24

Sommersemester 2024

• Automated Reasoning
• Logic and Verification Seminar SS24

Wintersemester 2023-2024

• Logik und Semantik von Programmiersprachen
• Logic and Verification Seminar WS23

Wintersemester 2022-2023

• Logic and Verification Seminar WS22

Sommersemester 2022

• Automated Reasoning

Vergangener Kurs

Wintersemester 2021-2022

• Logik und Semantik von Programmiersprachen
• Game-Theoretic Techniques in Logic and Verification
• Logic and Verification Seminar WS21

Sommersemester 2021

• Automated Reasoning
• Logic and Verification Seminar SoSe21

WS 20 und früher

• Logic and Semantics of Programming Languages (WS'20)
• Logic and Verification Seminar WS20
• Automated Reasoning (SS'20)
• Concurrency Theory (WS'19)
• Logic and Semantics of Programming Languages (WS'19)
• Logic and Verification Seminar SS20
• Logic and Verification seminar WS19
• Logic (Bachelor)

---