BEGIN:VCALENDAR
CALSCALE:GREGORIAN
PRODID:iCalendar-Ruby
VERSION:2.0
BEGIN:VEVENT
DESCRIPTION:  Thema der Dissertation:  Automated Rule Formalization and Lay
 ered Knowledge Integration for Safety-Aware Autonomous Systems Bridging For
 mal Methods\, Large Language Models\, and Uncertainty-Aware Learning    The
 ma der Disptutation:  Knowledge-Guided Autonomy: Formalization\, Uncertaint
 y\, Prediction\, and Planning 
DTSTAMP:20260701T185200
DTSTART:20260707T100000
CLASS:PUBLIC
LOCATION:Seminarraum 140\n (Fachbereich Mathematik und Informatik\, Arnimal
 lee 7\, 14195 Berlin)\n 
SEQUENCE:0
SUMMARY:Disputation Kumar Manas
UID:160245837@/www.mi.fu-berlin.de
URL:https://www.mi.fu-berlin.de/en/fb/dates/disputationen/Disputation-Kumar
 -Manas.html
END:VEVENT
END:VCALENDAR