Lehrveranstaltungen (Sommersemester 2024)

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

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.