Proseminare-Archiv
Auf dieser Seite finden Sie eine Übersicht über die Proseminare, die in den letzten Semestern angeboten wurden.
Wintersemester 2025/26
| Nummer | Titel | Veranstalter:innen | Präsentationskurs | Webseite |
| P1 | Kann Code Verantwortung? - Wie man Algorithmic Accountability untersucht und vermittelt | Neider | extern | Link |
| P2 | Pionierinnen der künstlichen Intelligenz (Female pioneers of artificial intelligence) | Prasad | intern | Link |
| P3 | Informatik trifft Maschinenbau | Wiederkehr | intern | Link |
| P4 | Perlen der funktionalen Programmierung | Dudenhefner | intern | Link |
| P5 | Informatik im Wassermanagement | Rudolph | extern | Link |
| P6 | Ausgewählte Themen des Geometrischen Deep Learnings | Peitz | extern | Link |
| P7 | What Does Trustworthy Mean? Performance, Privacy, and Causality in Machine Learning | Kamp | extern | Link |
| P8 | Algorithms for Sequential Pattern Mining | Schubert | extern | Link |
| P9 | Fortgeschrittene Algorithmen für Programmierwettbewerbe | Buchin | intern | Link |
| P10 | Grundlagen der formalen Argumentation | Rapberger, Jung | extern | Link |
| P11 | Human-AI Interaction | Mayer | extern | Link |
Sommersemester 2025
| Nummer | Titel | Präsentationskurs | Veranstalter | Webseite |
| PS1 | Convolutional Neural Networks – Methoden und Anwendungen Convolutional Neural Networks - Methods and Applications | intern | Weichert (LS7) | Link |
| PS2 | Inkrementelle Ansätze für Programmanalysen Incremental Approaches to Program Analysis | intern | Hermann (LS5) | Link (deutsch) Link (english) |
| PS3 | Enterprise Computing | intern | Janiesch (LS13) | Link |
| PS4 | Interpretable Machine Learning | intern | Müller (LS9) | Link |
| PS5 | Pionierinnen der Artificial Intelligence | intern | Wiederkehr (LS14) | Link |
| PS6 | Let ChatGPT do the work? Große Sprachmodelle im Praxistest Let ChatGPT do the work? Evaluating Large Language Models | extern | Harmeling (LS8) | Link |
| PS7 | Lösungsansätze für das Expression Problem Solutions to the Expression Problem | extern | Rehof (LS14) | Link |
| PS8 | Generative Modelle zur Algorithmischen Musikkomposition | extern | Rudolph (LS11) | Link |
| PS9 | The p-adics for Data Scientists | extern | Liebig (LS8) | Link |




