- Types for Proofs and Programs (Chalmers/GU, LP1): https://chalmers.instructure.com/courses/7445
- Formal Methods in Software Development (Chalmers/GU, LP1): https://chalmers.instructure.com/courses/7577
- Category Theory (Chalmers/GU, LP2): https://wiki.portal.chalmers.se/cse/pmwiki.php/ProgLog/CTFP20
- Introduction to set theory (GU, LP1): https://www.gu.se/en/study-gothenburg/introduction-to-set-theory-log010
- Logical theory (GU, LP1-2): https://www.gu.se/en/study-gothenburg/logical-theory-log111
- Modal Logic (GU, LP2): https://www.gu.se/en/study-gothenburg/modal-logic-log131
- Proof theory (GU, LP3): https://www.gu.se/en/study-gothenburg/proof-theory-log221
-
ProgLog (mailing list, wiki (outdated)) - Programming Logic group (ProgLog) is an active research group whose members conduct research on Type theory, Computational mathematics, Dependently-typed programming languages and more.
-
FM (mailing list, wiki (outdated)) - Formal Methods group (FM) is an active research group whose members conduct research on Formal verification, Automated theorem proving, Contract verification and more.
-
Initial Types Club (mailing list, wiki) - Weekly informal meeting for Master's/PhD students and junior researchers to discuss topics related to Type theory and Types in programming languages. ITC aims to bridge the gap between Master courses and active research.
-
Logic at GU (mailing list, Logic@GU website) - Mailing list for seminars and discussions on Logic at the Department of Philosophy, Linguistics, Theory of Science in GU.
- ...