-
Computer Science
-
Research
Colloquium and further lectures
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 …