BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Decision Procedures for Program Synthesis and Verification
DTSTART:20111205T170000
DTSTAMP:20260508T015429Z
UID:aa9e2c2f5dee158902ac14ad21790ff4ebd28545c983430d55859cf5
CATEGORIES:Thesis defenses
DESCRIPTION:Madame Ruzica Piskac\nDirecteur de thèse : Prof. V. Kuncak\nI
 nformatique
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR