BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Consistency as Knowledge - Klaus v. Gleissenthall
DTSTART:20151201T131500Z
DTEND:20151201T134500Z
UID:TALK62396@talks.cam.ac.uk
CONTACT:Gemma Gordon
DESCRIPTION:Consistency conditions for distributed systems (such as\nevent
 ual consistency) are often formalised by specifying\nhappens-before relati
 onships between read-and write events that must\nbe preserved by the syste
 m. \n\nIn this talk\, I will argue that a natural way to reason about\nthe
 se conditions arises from thinking about what individual nodes *know* abou
 t a given computation. \n\nFor this purpose\, I will present how eventual 
 consistency can be\nformalised in term of knowledge.
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR