BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Predicting Future Behavior of Distributed Systems Using Model Chec
 king
DTSTART:20111220T150000
DTSTAMP:20260410T074449Z
UID:add375c002173dcab8476a97dcf40b2ec35eb1205c5c79672fece408
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr Ivo Mihailovic\nEDIC Candidacy Exam:Exam president: Prof. C
 hristoph KochThesis director: Prof. Dejan Kostic Co-examiner: Prof. André
  SchiperResearch ProposalLife\, Death\, and the Critical Transition: Findi
 ng Liveness Bugs in Systems Codeby Charles Killian et al.CrystalBall: Pred
 icting and Preventing Inconsistencies in Deployed Distributed Systems  by 
 Maysam Yabandeh et al. MODIST: Transparent Model Checking of Unmodified Di
 stributed Systems by Junfeng Yang et al
LOCATION:INN326
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR