BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Interactive Interface Programming by Example and Constraint-Based 
 Synthesis
DTSTART:20130613T091500
DTSTAMP:20260407T041459Z
UID:e663a6259513409f3f264b542c945027b011c3e8931a8eb84f6559a4
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr Mikael Mayer\nEDIC Candidacy Exam:\nExam president: Prof. G
 eorge Candea\nThesis director: Prof. Viktor Kuncak\nCo-examiner: Prof. Fri
 edrich EisenbrandResearch ProposalLearning Programs from Traces Using Vers
 ion Space Algebra by T. LauLearning Regular Sets from Queries and Countere
 xamples by D. AngluinAutomating String Processing in Spreadsheets Using In
 put-Output Examples by S. Gulwani
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR