Für das Wintersemester 2016/17 wurden folgende Proseminare angeboten
| Nummer | Titel | Veranstalter |
| PS1 | Aktuelle Herausforderungen in der Musikdatenanalyse Current Challenges in Music Data Analysis |
Vatolkin (LS 11) |
| PS2 | Computational Intelligence in Spielen Computational Intelligence in Games |
Vatolkin (LS 11) |
| PS3 | Verteilte Algorithmen Distributed Algorithms |
Zeume (LS 1) |
| PS4 | Aufteilungs- und Zuweisungsalgorithmen Allocation and Matching Algorithms |
Rey (LS 2) |
| PS5 | Grundlagen algebraischer Modellierung und funktionaler Programmierung Algebraic modeling and functional programming |
Padawitz (LS 1) |
| PS6 | Algorithms Unplugged |
Mutzel (LS 11) |
| PS7 | Lernen und Intelligenz in Eingebetteten Systemen Learning and Intelligence in Embedded Systems |
Toma (LS 12) |