BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Constraint Solving for Software Reliabilit
DTSTART:20130927T100000
DTSTAMP:20260407T033949Z
UID:91587c6dde1bd8647612558ae0fa30353a72191c986f9bb72c78573a
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr Regis Blanc\nEDIC Candidacy Exam:\nExam president: Prof. Fr
 iedrich Eisenbrand\nThesis director: Prof. Viktor Kuncak\nCo-examiner: Pro
 f. Christoph Koch\nResearch ProposalDeciding floating-point logic with sys
 tematic abstraction by Leopold Haller.DPLL(T): Fast Decision Procedures by
  Harald Ganzinger et al.\nProgramming with specification\, thesis Philippe
  Suter\, Chapter 3
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR