BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Exploiting Satisfiability Solvers for Efficient Logic Synthesis
DTSTART:20170925T180000
DTSTAMP:20260501T165400Z
UID:296910833139edbb6d65f49c4cd3ae93f3c89350a82321694848d355
CATEGORIES:Thesis defenses
DESCRIPTION:Ana Petkovska\nThesis director: Prof. Paolo Ienne\nDoctoral pr
 ogram in Computer and Communication Sciences\nThesis 7866
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR