Im Sommersemester 2018 werden folgende Proseminare angeboten:
| Nummer | Titel | Präsentationskurs | Veranstalter | Webseite |
| PS1 | Graphentheoretische Konzepte und Algorithmen Graph-Theoretical Concepts and Algorithms |
intern | Bollig (LS 2) | Link |
| PS2 | Metaheuristische Optimierung - Evolution, Ameisen, Abkühlen und mehr Metaheuristic Optimization - Evolution, Ants, Annealing and more |
extern | Müller (LS 7) | Link |
| PS3 | Informatik trifft Maschinenbau Computer Science meets Mechanical Engineering |
intern | Wiederkehr (LS 14) | Link |
| PS4 | Maschinelles Lernen Machine Learning |
intern | Morik (LS 8) | |
| PS5 | Symbolic Execution | intern | Howar (LS 14) | Link |
| PS6 | Geschichte der Programmierung | extern | Rehof (LS 14) | Link |