Summer Term 2024
In the summer term of 2024 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 2024 we offer the following courses:
