Teaching

Teaching activities of the group are listed on this page.

• Logic and Semantics of Programming Languages (WS'20)
• Logic and Verification Seminar WS20

Past courses

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