Lehrveranstaltungen (Sommersemester 2024)

Vorlesungen
Titel Typ Semester SWS
Vorlesung / Übung (VÜ) SS 2024 2
Vorlesung / Übung (VÜ) SS 2024 4

Abschlussarbeiten

Eine Liste der offenen und laufenden Abschlussarbeiten finden Sie hier.

Weiterführende Veranstaltungen

Eine Übersicht zu Kursen aus dem Gebiet der Formalen Methoden befindet sich hier.