BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260922T191345Z
UID:Seminar-dept-389@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20150714T130000
DTEND:20150714T140000
SUMMARY:School Seminar Series
DESCRIPTION:Prof. Krzysztof Apt: Epistemic Protocols for Distributed Gossiping\n\nGossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets.  We consider distributed gossip protocols, building upon the\n\nrecent work of Attamah, Van Ditmarsch, Grossi and Van der Hoek.  These protocols are expressed by means of epistemic logic (for instance by statements such as `if I do not know whether agent i knows my secret I communicate it to him').\n\n\n\nWe provide an operational semantics of such protocols and set up an appropriate framework to argue about various aspects of their correctness.  Then we analyze specific protocols both for a ring and\n\nfor complete graphs.\n\n\n\nThis is a joint work with Wiebe van der Hoek and Davide Grossi.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=389
LOCATION:Ashton Lecture Theater
END:VEVENT
END:VCALENDAR