2026
| Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
|---|---|---|---|---|---|
| 10.03.2026 | 14:00 | OH12 2.013 | Silas Grimm | LS14/Rehof | BA Abschlussvortrag: Game Theoretical Perspectives on Reinforcement Learning in Haskell |
| 24.02.2026 | 14:00 | OH12 2.013 | Michael Anh-Tu Pham | LS14/Rehof | BA Abschlussvortrag: Einbindung externer Routinen in relationale Programmiersprachen |
| 27.01.2026 | 11:15 | OH14 E04 | Felix Wolff | LS14 / Rehof | MA Abschlussvortrag: Automated Search for Constraint-Based Robot Designs in Motion Planning Scenarios |
| 13.01.2026 | 11:00 | OH12 2.013 | Alexandra Latys | LS14 / Rehof | MA Abschlussvortrag: Analysing Simple Formally Verified Models of Computation |