2025
| Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
|---|---|---|---|---|---|
| 13.01.2026 | 11:00 | OH12 2.013 | Alexandra Latys | LS14 / Rehof | MA Abschlussvortrag: Analysing Simple Formally Verified Models of Computation |
| 09.12.2025 | 12:00 | OH12 2.013 | Jan Lukas Vieweg | LS14/Rehof | BA Einführungsvortrag: Entwicklung von Routingalgorithmen mit dynamischen Treffpunkten für mobile Roboter in der Kommissionierung |
| 09.12.2025 | 11:00 | OH12 2.013 | Arnur Begaliyev | LS14 / Rehof | BA Abschlussvortrag: Imperative Enumeration for Term Languages |
| 11.11.2025 | 14:00 | OH12 2.013 | Silas Grimm | LS14 / Rehof | BA Einführungsvortrag: Game Theoretical Perspectives on Reinforcement Learning in Haskell |
| 29.07.2025 | 15:00 | OH12 2.013 | Michael Anh-Tu Pham | LS14 / Rehof | BA Einführungsvortrag: Einbindung externer Routinen in relationale Programmiersprachen |
| 29.07.2025 | 14:00 | Online | Constantin Wessels | LS14 / Rehof | BA Abschlussvortrag: Choreographic Programming with Quantitative Types in Idris 2 |
| 01.07.2025 | 11:00 | OH12 2.013 | Arnur Begaliyev | LS14 / Rehof | BA Einführungsvortrag: Imperative Enumeration for Term Languages |
| 10.06.2025 | 14:00 | OH12 2.013 | Eman Shahid | LS14 / Rehof | MA Abschlussvortrag: Synthetic Drive Data Generation Using Multi-Modal AI |
| 06.05.2025 | 14:00 | OH12 2.013 | Alexandra Latys | LS14 / Rehof | MA Einführungsvortrag: Analysing Simple Formally Verified Models of Computation |
| 04.03.2025 | 14:00 | OH12 2.013 | Nicolas Lenz | LS14 / Rehof | MA Abschlussvortrag: Strong Normalization of System F in Cubical Type Theory |
| 21.01.2025 | 14:30 | OH14 105 | Constantin Wessels | LS14 / Rehof | BA Einführungsvortrag: Choreographic Programming with Quantitative Types in Idris 2 |
| 21.01.2025 | 15:15 | OH14 105 | Benedict Christian Smit | LS14 / Rehof | MA Abschlussvortrag: Congruence Closure in the Presence of Dependent Types |