-
Computer Science
-
Research
-
Colloquium and further lectures
Colloquium and further lectures archive
Room OH12/2013 Arnur Begaliyev Imperative Enumeration for Term Languages Supervisor: Prof. Dr. Rehof Bachelor's thesis presentation Wednesday, December 10, 2025, 10:15–11:00 a.m., Room OH12/2013 Marvin Lazar [...] Sebastian Peitz Bachelor's thesis presentation Tuesday, November 11, 2025, 14:00–15:00, Room OH12/2013 Silas Grimm Game Theoretical Perspectives on Reinforcement Learning in Haskell Supervisor: Prof. Dr [...] Jakob Rehof Bachelor's introductory lecture Wednesday, November 12, 2025, 10:15–11:00, Room OH12/2013 Asanali Uzakov Creating a VS Code Extension for a formally defined educational programming language …