BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Improving Scalability of Symbolic Execution for Software with Comp
 lex Environment Interfaces
DTSTART:20150713T170000
DTSTAMP:20260511T050428Z
UID:7e5a85623d470df3d46a5146fa25daeece3a55259273426b14a906d8
CATEGORIES:Thesis defenses
DESCRIPTION:Stefan BUCUR\nThesis director : Prof. G. Candea \n\n	Computer 
 and Communication Sciences doctoral program.\nThesis 6719
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR