BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Automated Verification of Distributed Algorithms
DTSTART:20100511T081500
DTSTAMP:20260411T101743Z
UID:beeb31c53becca03c033a03ffb36a7b573bee585b82cd4d8cebdabc8
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr Giuliano Losa\nEDIC Candidacy Exam:Exam president: Prof. Je
 an-Yves Le BoudecThesis director: Prof. Viktor KuncakThesis co-director: P
 rof. Rachid GuerraouiCo-examiner: Prof. André SchiperResearch ProposalThe
  Next 700 BFT Protocols by Guerraoui\, Knezevic\, Quema\, and VukolicEnvir
 onment Abstraction for Parameterized Verification by Clarke\, Talupur\, an
 d VeithAutomatic Verification and Discovery of Byzantine Consensus Protoco
 ls by Zielinski
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR