BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Automatic Verification with Abstraction and Theorem Proving
DTSTART:20130815T170000
DTSTAMP:20260407T103330Z
UID:521fec84f5aa4f79049f72abf2a2650b08a2911f36124916cd979174
CATEGORIES:Thesis defenses
DESCRIPTION:Hossein HOJJAT\nThesis director : Prof. V. Kuncak\nDoctoral pr
 ogram Computer\, Communication and Information Sciences\nThesis 5828
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR