BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Satisfiability-Based Methods for Digital Circuit Design\, Debug\, 
 and Optimization
DTSTART:20180928T170000
DTSTAMP:20260407T105400Z
UID:62778d141b1378ba2fcf15206992bae5b4bebac3d6e02fdef2d42386
CATEGORIES:Thesis defenses
DESCRIPTION:Andrew James BECKER\nThesis director : Prof. P. Ienne\nCompute
 r and Communication Sciences doctoral program.\nThesis 8850\n 
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR