BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Software Verification by Combining Program Analyses of Adjustable 
 Precision
DTSTART:20100924T173000
DTSTAMP:20260407T025703Z
UID:3fab70571b2004f50a6c3411d367046e6cff2bb859aa2d060faf7266
CATEGORIES:Thesis defenses
DESCRIPTION:Monsieur Grégory Théoduloz\nDirecteur de thèse : Prof. T. H
 enzinger\nInformatique
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR