Korrekte Software: Grundlagen und Methoden
Willkommen auf der Heimatseite der Lehrveranstaltung "Korrekte Software: Grundlagen und Methoden" im Sommersemester 2020!
Dieses Jahr ist alles anders! Unser Konzept für die Online-Version der Veranstaltung findet ihr hier. Mehr zum Inhalt der Veranstaltung findet ihr hier, oder benutzt das Menü oben zum navigieren.
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.up stattfinden.
Termine
Die Veranstaltung findet per Zoom statt. Die Meeting-Id der Veranstaltung ist 992 1672 0384. Das Passwort steht auf der stud.ip-Seite der Veranstaltung, oder kann bei den Veranstaltern erfragt werden.
Die Termine sind:
- Dienstag, 12-14
- Donnerstag, 8:30-10
VAK und weitere Daten
- Die VAK der Veranstaltung ist 03-BB-699.08.
- Wahlbereich ist Bachelor-Basis (BB) - Theoretische Informatik und Mathematik
- Die Veranstaltung hat einem Umfang von 6 ECTS.