BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Combining Testing and Verification
DTSTART:20100527T140000
DTSTAMP:20260407T061346Z
UID:ad4694c0ab8f63569a02ea29ede9ebd02ff2f1c0c0c033f6c7a10cd9
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr Tihomir Gvero\nEDIC Candidacy Exam:Exam president: Prof. Wi
 lly ZwaenepoelThesis director: Prof. Viktor KuncakCo-examiner: Prof. Marti
 n OderskyResearch ProposalPartial Evaluation of Computation Process - An A
 pproach to a Compiler-Compiler by Yoshihiko FutamuraSolving Quantified Ver
 ification Conditions Using Satisfiability Modulo Theories by Yeting Ge\, C
 lark Barrett\, and Cesare TinelliKorat: Automated Testing Based on Java Pr
 edicates by Chandrasekhar Boyapati\, Sarfraz Khurshid\, and Darko Marinov
LOCATION:BC 129 https://plan.epfl.ch/?room==BC%20129
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR