BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Verified Functional Programming
DTSTART:20190816T180000
DTSTAMP:20260406T152952Z
UID:44f15e88cdfc546e3746868c3c87a7efcb2158c6b5f32f91f6f2bec3
CATEGORIES:Thesis defenses
DESCRIPTION:Nicolas Charles Yves VOIROL\nThesis Director: Prof. V. Kuncak\
 ,\nComputer and Communication Sciences doctoral program\nThesis Nr. 9479
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR