Willkommen auf der Heimatseite der Lehrveranstaltung "Korrekte Software: Grundlagen und Methoden" im Sommersemester 2021!

In dieser Veranstaltung geht es um die Grundlagen und Techniken, die benötigt werden, um korrekte Software zu schreiben. Mehr zum Inhalt hier oder in unserem kurzen Vorstellungs-Video.

Dieses Jahr ist immer noch alles anders! Unser Konzept für die Online-Version der Veranstaltung findet ihr hier.

Interessiert?

Wer an der Veranstaltung teilnehmen möchte, trage sich bitte in die stud.ip-Teilnehmerliste ein. Die Kommunikation wird mindest am Anfang schwerpunktmäßig über die Mailingliste in stud.ip stattfinden.

Termine

Die Veranstaltung findet per Zoom statt. Die Meeting-Id und das Password findet ihr auf der stud.ip-Seite der Veranstaltung, oder ihr könnt es bei den Veranstaltern erfragen.

Die Termine sind:

Neuigkeiten

Bleibt stets auf dem laufendem mit unserem Newsfeed!

VAK und weitere Daten