BEGIN:VCALENDAR
BEGIN:VEVENT
SUMMARY:PhD Defence Hans Dieter Hiep (CSY)
DTSTART:20240523T114500Z
DTEND:20240523T123000Z
UID:2e2a4636-13b6-4294-8d6c-fbbe441e50f5
DESCRIPTION:New Foundations for Separation Logic\n\nContact:\nHans Dieter 
 Hiep\nhdh@cwi.nl\n\nLocation:\nAcademy Building     Rapenburg 73     2311 
 GJ Leiden
LOCATION:Academy Building     Rapenburg 73     2311 GJ Leiden
END:VEVENT
END:VCALENDAR