BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Automated Induction for Proving Program Equivalence
DTSTART:20250526T130000
DTSTAMP:20260501T114830Z
UID:7dfdad22c2d1b90d22602a7b490a2791fbdc4747f9ce7cf296b9e63b
CATEGORIES:Thesis defenses
DESCRIPTION:Dragana MILOVANCEVIC\nThesis Director: Prof. V. Kuncak\,\nComp
 uter and Communication Sciences doctoral program\nThesis Nr. 10552\n\nTo 
 take part in the public defense\, please contact directly the speaker
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR