Im Wintersemester 2018/2019 werden folgende Veranstaltungen angeboten:

Vorlesungen

• INFO-4658: Ausgewählte Themen zur Computersicherheit

Praktika / Kurse / Seminare

• INF 3522 Grundlagenpraktikum Automatisches Beweisen
• INF 4122 Praktikum zu Betriebssystemen (Anmeldung für die Veranstaltung über Ilias)

In wenigen Wochen werden Sie hier weitere Informationen zu den o.g. Veranstaltungen erhalten.