- 342.231, Formal Models, Martina Seidl / Daniela Ritirc, SS 2017 (2017S342231)
- 342.233, Formal Models, Martina Seidl / Daniela Ritirc, SS 2017 (2017S342233)
- 342.235, Formal Models, Martina Seidl / Daniela Ritirc, SS 2017 (2017S342235)
- Teacher: Daniela Kaufmann
- Teacher: Martina Seidl