Vorlesungen im Wintersemester 2023/24

Im Wintersemester finden am KASTEL-Institut eine Reihe von Vorlesungen zu verschiedenen Themen aus dem Gebiet der Formalen Methoden statt. Jede Veranstaltung hat ihren besonderen Schwerpunkt und diese Seite will Ihnen einen Überblick über das Angebot geben.

Das Stammmodul Formale Systeme liefert eine gute Basis für alle Veranstaltungen.

Wird noch ergänzt ...