BEGIN:VCALENDAR
CALSCALE:GREGORIAN
PRODID:iCalendar-Ruby
VERSION:2.0
BEGIN:VEVENT
DESCRIPTION:  Thema der Dissertation:  Motion Planning for Driverless Shutt
 les\, Passenger Cars\, and Trucks    Thema der Disputation:  Reasoning in L
 arge Language Models: From Autoformalization to Mathematical Problem-Solvin
 g and Engineering Applications 
DTSTAMP:20250912T115800
DTSTART:20250919T160000
CLASS:PUBLIC
SEQUENCE:0
SUMMARY:Disputation Andreas Hartmannsgruber
UID:153060602@/www.mi.fu-berlin.de
URL:https://www.mi.fu-berlin.de/en/fb/dates/disputationen/Disputation-Andre
 as-Hartmannsgruber.html
END:VEVENT
END:VCALENDAR