Teaching
Teaching activities of the group are listed on this page.
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)