BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Design and Verification of Byzantine Fault Tolerant CRDTs - Liangr
 un Da\, Technical University of Munich
DTSTART:20241115T140000Z
DTEND:20241115T150000Z
UID:TALK224245@talks.cam.ac.uk
CONTACT:Anna Talas
DESCRIPTION:Decentralized collaboration systems offer powerful solutions f
 or various applications. For instance\, Wikipedia currently requires signi
 ficant operational costs to maintain its servers\, but a decentralized alt
 ernative could run without such constraints. However\, maintaining data co
 nsistency across peers remains challenging in such decentralized systems. 
 While Conflict-free Replicated Data Types (СRDTs) can maintain consistenc
 y without central server\, they lack resilience against Byzantine faults. 
 This project introduces a framework for designing and verifying Byzantine 
 Fault Tolerant (BFT) CRDTs in Isabelle/HOL. It requires modest modificatio
 ns to existing CRDTs\, and relies on minimal assumptions on the system.
LOCATION:Webinar &amp\; FW11\, Computer Laboratory\, William Gates Buildin
 g.
END:VEVENT
END:VCALENDAR