BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Formalising and providing security guarantees via typing across la
 nguage and security boundaries in diverse environments.
DTSTART:20210701T160000
DTEND:20210701T180000
DTSTAMP:20260414T211926Z
UID:9550c427c1c04fe17b63a1e02e87eccb184bd18df7b0640e4b2eb9e9
CATEGORIES:Conferences - Seminars
DESCRIPTION:Ergys Donna\nEDIC candidacy exam\nexam president: Prof. Rachid
  Guerraoui\nthesis advisor: Prof. Mathias Payer\nco-examiner: Prof. Martin
  Odersky
LOCATION:
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR