Zum Inhalt
Fakultät für Informatik

2026

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
27.01.2026 11:15 OH14 E04 Felix Wolff LS14 / Rehof MA Abschlussvortrag: Automated Search for Constraint-Based Robot Designs in Motion Planning Scenarios
13.01.2026 11:00 OH12 2.013 Alexandra Latys LS14 / Rehof MA Abschlussvortrag: Analysing Simple Formally Verified Models of Computation
Zum Seitenanfang