Im Wintersemester 2017/2018 werden folgende Veranstaltungen angeboten:
Vorlesungen
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.