Wintersemester 2017/2018
Im Wintersemester 2017/2018 werden folgende Veranstaltungen angeboten:
Vorlesungen
- INF 4233 SAT Solving und Anwendungen
- INF 4121 Betriebssysteme
- INFO-4658: Ausgewählte Themen zur Computersicherheit
Praktika / Kurse / Seminare
- INF 4657 Seminar: Symbolisches Rechnen
- INF 3522 Grundlagenpraktikum Automatisches Beweisen
- INF 4122 Praktikum zu Betriebssysteme
- Kolloquium Symbolic Computation
In wenigen Wochen werden sie hier weitere Informationen zu den o.g. Veranstaltungen erhalten.