Teaching

Teaching activities of the group are listed on this page.

Summer semester 2021

• Automated Reasoning
• Logic and Verification Seminar

Past courses

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