BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//DTU.dk//NONSGML DTU.dk//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTART:20250221T120000Z
DTEND:20250221T150000Z
SUMMARY:Defence by PhD student Laouen Fernet
DESCRIPTION:“A Logical Approach for Automated Reasoning about Privacy in Security Protocols”
https://www.compute.dtu.dk/kalenderarkiv/2025/02/defence-by-phd-student-laouen-fernet
X-ALT-DESC;FMTTYPE=text/html:<p><a href='https://www.compute.dtu.dk/kalenderarkiv/2025/02/defence-by-phd-student-laouen-fernet'>https://www.compute.dtu.dk/kalenderarkiv/2025/02/defence-by-phd-student-laouen-fernet</a></p>“A Logical Approach for Automated Reasoning about Privacy in Security Protocols”
URL:https://www.compute.dtu.dk/kalenderarkiv/2025/02/defence-by-phd-student-laouen-fernet
DTSTAMP:20260523T010000Z
UID:{A7558D7F-D009-48F7-9354-339F3C57EA25}-20250221T120000Z
LOCATION:DTU building 324, room 240
END:VEVENT
END:VCALENDAR