• Master-/ Bachelorarbeit

Wintersemester 2024/2025

• Logik und Semantik von Programmiersprachen
• Logik und Verifikation Seminar
• Game Theory in Logic and Verification

Sommersemester 2024

• Automated Reasoning
• Logik und Verifikation Seminar

Wintersemester 2023/2024

• Logik und Semantik von Programmiersprachen
• Logik und Verifikation Seminar

Wintersemester 2022/2023

• Logik und Verifikation Seminar

Sommersemester 2022

• Automated Reasoning

Vergangener Kurs

Wintersemester 2021/2022

• Logik und Semantik von Programmiersprachen
• Game-Theoretic Thechniques in Logic and Verification
• Logik und Verifikation Seminar

Wintersemester 2020/2021 und Früher

• Logik und Semantik von Programmiersprachen (WS 20)
• Logik und Verifikation Seminar (WS 20)
• Automated Reasoning (SS 20)
• Concurrency Theory (WS 19)
• Logik und Semantik von Programmiersprachen (WS 19)
• Logik und Verifikation Seminar (SS 20)
• Logik und Verifikation Seminar (WS 19)
• Logik (Bachelor)