BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Design Synthesis by Sketching: A New Approach to Taming Exploding 
 Design Complexity.
DTSTART:20120910T133000
DTSTAMP:20260427T160021Z
UID:e9dd3d96e33c3397b3d19099e1cbdfc930d2b8aec658cc1313fd2d69
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr. Andrew James Becker\nEDIC Candidacy Exam:\nExam president:
  Prof. Martin Odersky\nThesis director: Prof. Paolo Ienne\nCo-examiner: Pr
 of. Viktor Kuncak\n\nResearch Proposal\n\nA survey of Recent Advances in S
 AT-Based Formal Verification by M. Prasad et al.\nCombinatorial Sketching 
 for Finite Programs by A. Solar-Lezama et al.\nSPARK: A High-Level Synthes
 is Framework for Applying Parallelizing Compiler Transformations by Gupta 
 et al.
LOCATION:INF113 http://plan.epfl.ch/
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR