-
Computer Science
-
Forschung
Kolloquium und weitere Vorträge
Montag, 02.02.2026, 16:15-16:45 Uhr, via Zoom Filip Mecklenburg Äquivalenzerhaltung für Verbesserungsoperatoren Betreuer: Prof. Dr. Kern-Isberner Bachelor-Abschlussvortrag Montag, 02.02.2026, 16:45-17:15 [...] Nächster Tab Fakultätskolloquium Bachelor- und Master-Vorträge Fakultätskolloquium Donnerstag, 15.01.2026, 10:15-11:45 Uhr, Raum JvF25/303 Prof. Nils Jansen Safe Learning Systems - Artificial Intelligence [...] e and Formal Methods Gastgeber: Dr. Jens Buss Bachelor- und Master-Vorträge Dienstag, 27.01.2026, 11:15-12:00 Uhr, Raum OH14/E04 Felix Wolff Automated Search for Constraint-Based Robot Designs in Motion …