The group members offer the following regular courses.

- Mathematical Logic
- Elementary Set Theory
- Axiomatic Set Theory
- Proof Theory
- Category Theory
- Elementary Mathematics from an Advanced Standpoint
- #DIMA (Mathematical Dissemination)
- Introduction to Type Theory