@@ -4,6 +4,8 @@ The Logic and Verification seminar is a reading group gathering the members
of the Automatic Reasoning AG and students interested in formal methods
and more precisely in logic and verification.
**For Winter Semester 2020-2021 seminar, please go to this page: [https://arg-git.informatik.uni-kl.de/pub/ws20sem](https://arg-git.informatik.uni-kl.de/pub/ws20sem)**
## For students taking the seminar for credit
Your main role is to attend the weekly sessions, and contribute