Webinar & FW11, Computer Laboratory, William Gates Building. 2024-11-15 14:00: Design and Verification of Byzantine Fault Tolerant CRDTs (Liangrun Da, Technical University of Munich)