-
Computer Science
-
Research
Colloquium and further lectures
you will find announcements of lectures by bachelor's and master's candidates here. Previous tab Next tab Department colloquium Bachelor and Master lectures Department colloquium Thursday, January 15, 2026 [...] Safe Learning Systems - Artificial Intelligence 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 [...] Search for Constraint-Based Robot Designs in Motion Planning Scenarios Supervisor: Prof. Dr. Rehof Master's thesis presentation Monday, February 2, 2026, 4:15–4:45 p.m., via Zoom Filip Mecklenburg Equivalence …