In the winter term of 2023/2024 we offer the following courses:

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