-
Computer Science
-
Research
Colloquium and further lectures
February 2, 2026, 4:15–4:45 p.m., via Zoom Filip Mecklenburg Equivalence preservation for improvement operators Supervisor: Prof. Dr. Kern-Isberner Bachelor's thesis presentation Monday, February 2, 2026, 4:45–5:15 [...] 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 Tuesday, January 27, 2026, 11:15 a.m.–12:00 p.m., Room OH14/E04 Felix Wolff Automated Search for Constraint-Based Robot Designs in …