In the winter term of 2021/2022 we offer the following courses:

• Integrated Course: Modellierung, Spezifikation und Semantik
• Integrated Course: Static and Dynamic Program Analysis
• Graduate Seminar: MAIS