BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Rigorous support for building fault-tolerant and high performance 
 distributed systems
DTSTART:20131011T130000
DTSTAMP:20261003T080156Z
UID:e77d2c1aeab7b489bfa168a19aa4ced1fc91b7f8416ced22365eee46
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr. Tong Che\nEDIC Candidacy Exam:\nExam president: Prof. Mart
 in Odersky\nThesis director: Prof. Rachid Guerraoui\nThesis co-director: P
 rof. Joseph Sifakis\nCo-examiner: Prof. Viktor Kuncak\nResearch ProposalDi
 sk Paxos by Eli Gafni\, Leslie Lamport.A framework for automated distribut
 ed implementation of component-based models (26 pages) by Borzoo Bonakdarp
 our et al.Speculative Linearizability by Rachid Guerraoui\, Viktor Kuncak 
 and Guiliano Losa.
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR