Teaching activities of the group are listed on this page.

Winter semester 2022-2023

• Logic and Verification Seminar WS22

Summer semester 2022

• Automated Reasoning

Past courses

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)

---