Zum Inhalt
Fakultät für Informatik

2026

DatumUhrzeitRaumVortragenderArbeitsgruppe / InstitutThema
31.03.202614:00OH12 2.013Philip SkrobotzLS14/RehofBA Einführungsvortrag: Ressourcengerechte Aufzählung von Termsprachen
10.03.202614:00OH12 2.013Silas GrimmLS14/RehofBA Abschlussvortrag: Game Theoretical Perspectives on Reinforcement Learning in Haskell
24.02.202614:00OH12 2.013Michael Anh-Tu PhamLS14/RehofBA Abschlussvortrag: Einbindung externer Routinen in relationale Programmiersprachen
27.01.202611:15OH14 E04Felix WolffLS14 / RehofMA Abschlussvortrag: Automated Search for Constraint-Based Robot Designs in Motion Planning Scenarios
13.01.202611:00OH12 2.013Alexandra LatysLS14 / RehofMA Abschlussvortrag: Analysing Simple Formally Verified Models of Computation
Zum Seitenanfang