Summer Term 2025
In the summer term of 2025 we offer the following courses:
- Integrated Course: Formal Methods for Information Security
- Seminar: Language-Based Security for Distributed Systems
- Graduate Seminar: MAIS
In the summer term of 2025 we offer the following courses:
