BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Predicting Future Behavior of Distributed Systems Using Model Chec
 king
DTSTART:20110916T150000
DTSTAMP:20260407T163515Z
UID:3df130cb65246a36c56dc84041f925deaab45c100e1655d6bedab750
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr Ivo Mihailovic\nEDIC Candidacy Exam:Exam president: Prof. C
 hristoph KochThesis director: Prof. Dejan KosticCo-examiner: Prof. André 
 SchipperResearch ProposalLife  Death  and the Critical Transition: Finding
  Liveness Bugs in Systems Code by Charles Killian et al.CrystalBall: Predi
 cting and Preventing Inconsistencies in Deployed Distributed Systems by Vi
 ktor Kuncak et al.MODIST: Transparent Model Checking of Unmodified Distrib
 uted Systems by Junfeng Yang et al.
LOCATION:INN326
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR