• Master-/ Bachelor theses

Wintersemester 2024/2025

• Logic and Semantics of Programming Languages
• Logic and Verification Seminar
• Game Theory in Logic and Verification

Summer Semester 2024

• Automated Reasoning
• Logic and Verification Seminar

Winter Semester 2023/2024

• Logic and Semantics of Programming Languages
• Logic and Verification Seminar

Winter Semester 2022/2023

• Logic und Verification Seminar

Summer Semester 2022

• Automated Reasoning

Past course

Winter Semester 2021/2022

• Logic and Semantics of Programming Languages
• Game-Theoretic Thechniques in Logic and Verification
• Logic and Verification Seminar

Winter Semester 2020/2021 und Früher

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