The teaching activities of the group are listed on this page.

Winter semester 2024-2025

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

Summer semester 2024

• Automated Reasoning
• Logic and Verification Seminar SS24

Winter semester 2023-2024

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

Winter semester 2022-2023

• Logic and Verification Seminar WS22

Summer semester 2022

• Automated Reasoning

Past course

Winter semester 2021-2022

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

Summer semester 2021

• Automated Reasoning
• Logic and Verification Seminar SoSe21

WS 20 and before

• 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)

---