BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Verification by Reduction to Functional Programs
DTSTART:20170825T181500
DTSTAMP:20260407T002700Z
UID:889f450ba4e2507791f33d9fc7e0f848610ef762ec78c73a884e92d4
CATEGORIES:Thesis defenses
DESCRIPTION:Régis William BLANC\nThesis director : Prof. V. Kuncak\nCompu
 ter and Communication Sciences doctoral program\nThesis 7636\n 
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR