-
Computer Science
-
Research
Colloquium and further lectures
December 9, 2025, 11:00 a.m.–12:00 p.m., 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 [...] Next tab Department colloquium Bachelor and Master lectures Department colloquium Thursday, 11.12.2025, 10:00-12:00 p.m., Room JvF25/303 Prof. Barbara Hammer When to trust an explanation? Host: Dr. Jens [...] Intelligence and Formal Methods Host: Dr. Jens Buss Bachelor and Master lectures Tuesday, December 9, 2025, 12:00 p.m.–1:00 p.m., Room OH12/2013 Lukas Vieweg Development of routing algorithms with dynamic …