Skip to main content

Main Navigation Top

Home
Contact

Publications
Overview (Old Webpages)

Winter Term 2025/26
Summer Term 2025
Overview (Old Webpages)

Prof. Dr. Heiko Mantel
Tim Weißmantel
Students @ MAIS
Azubis @ MAIS (Old Webpages)
Overview (Old Webpages)
Alumni (Old Webpages)

Open Thesis Topics
Open Tutor Positions
Open Positions (Old Webpages)

Modeling and Analysis of Information Systems

Breadcrumb

MAIS Home »
Teaching »
Winter Term 2025/26

Winter Term 2025/26

In the winter term of 2025/26 we offer the following courses:

Seminar: Language-Based Security for Distributed Systems
Integrated Course: Static and Dynamic Program Analysis

Contact Imprint