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:20250912T115700
DTSTART:20250919T160000
CLASS:PUBLIC
SEQUENCE:0
SUMMARY:Disputation Andreas Hartmannsgruber
UID:153060547@/www.mi.fu-berlin.de
URL:https://www.mi.fu-berlin.de/fb/dates/disputationen/Disputation-Andreas-
 Hartmannsgruber.html
END:VEVENT
END:VCALENDAR