-
Computer Science
-
Research
Colloquium and further lectures
JvF25/303 Prof. Barbara Hammer When to trust an explanation? Host: Dr. Jens Buss Thursday, January 15, 2026, 10:15-11:45 a.m., Room JvF25/303 Prof. Nils Jansen Safe Learning Systems - Artificial Intelligence [...] ed documents Supervisor: Prof. Dr. Schwentick Bachelor's introductory lecture Monday, January 12, 2026, 4:15–4:45 p.m., via Zoom Marcel Schäper Comparison of rule-based systems for invoice verification: [...] Prof. Dr. Gabriele Kern-Isberner Introductory lecture for bachelor's students Tuesday, January 13, 2026, 11:00 a.m.–12:00 p.m., Room OH12/2013 Alexandra Latys Analyzing Simple Formally Verified Models of …