Für das Wintersemester 2015/16 wurden folgende Proseminare angeboten.
| Nummer | Titel | Veranstalter |
| PS 1 | Aktuelle Herausforderungen in der Musikdatenanalyse | Vatolkin (LS 11) |
| Current Challenges in Music Data Analysis | ||
| PS 2 | Evolutionäre mehrkriterielle Optimierung: Anwendungen | Vatolkin (LS 11) |
| Evolutionary Multi-Objective Optimisation: Applications | ||
| PS 3 | Geometrische Algorithmen | Fischer (LS 11) |
| Computational Geometry | ||
| PS 4 | Grundlagen der Datenintegration | Tadros (LS 6) |
| Principles of Data Integration | ||
| PS 5 | Kategorientheoretische Grundlagen | Padawitz (LS 1) |
| Fundamentals of Category Theory | ||
| PS 6 | Multiagentensysteme | Kern-Isberner (LS 1) |
| Multiagent systems | ||
| PS 7 | Das BUCH der Beweise | Bollig (LS 2) |
| Proofs from THE BOOK |