BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Constraint Solving for Software Reliability
DTSTART:20130529T110000
DTSTAMP:20260407T095559Z
UID:7f1c17567873cb47e42d124cec3d07ec84900354ad6b4b0355441a20
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr. Regis Blanc\nEDIC Candidacy Exam:\nExam president: Prof. F
 riedrich Eisenbrand\nThesis director: Prof. Viktor Kuncak\nCo-examiner: Pr
 of. Christoph Koch\nResearch ProposalDPLL(T): Fast Decision Procedures by 
 Harald Ganzinger et al.Data representation synthesis by Peter Hawkins et a
 l.Deciding floating-point logic with systematic abstraction by Leopold Hal
 ler.
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR