BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Formally verified native compilation for modern regexes
DTSTART:20260804T093000
DTEND:20260804T113000
DTSTAMP:20260603T050607Z
UID:7224768f2677371f6782bb9281f9637de1da9ecf34a3d72c8b2d4d87
CATEGORIES:Conferences - Seminars
DESCRIPTION:Victor Yuefan Deng\nEDIC candidacy exam\nExam president: Prof.
  Viktor Kuncak\nThesis advisor: Prof. Clément Pit-Claudel\nCo-examiner: P
 rof. Nate Foster\n\nAbstract\n\nSelected papers\n 
LOCATION:INN 326 https://plan.epfl.ch/?room==INN%20326
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR