-
Computer Science
-
Research
Colloquium and further lectures
tab Department colloquium Bachelor and Master lectures Department colloquium Thursday, January 15, 2026, 10:15-11:45 a.m., Room JvF25/303 Prof. Nils Jansen Safe Learning Systems - Artificial Intelligence [...] ce and Formal Methods Host: Dr. Jens Buss Bachelor and Master lectures Monday, January 12, 2026, 4:15–4:45 p.m., via Zoom Marcel Schäper Comparison of rule-based systems for invoice verification: ASP vs [...] Prof. Dr. Gabriele Kern-Isberner Introductory lecture for bachelor's students Monday, January 12, 2026, 2:15–2:45 p.m., Room OH16/205 Tom Alexander Bank A Decombination Approach to Calculating Schedules …