Modeling and Analysis of Information Systems

In the summer term of 2021 we offer the following courses:

Integrated Course: Static and Dynamic Program Analysis
Lab: Formal Specification and Verification in Isabelle/HOL
Seminar: Current Topics in Concurrency and Parallelism
Seminar: Formal Specification
Graduate Seminar: MAIS
Exam: Modellierung, Spezifikation und Semantik

Information regarding the Corona pandemic:
All of our course will happen. You can find more information on the individual web pages of each course.

MAIS