We will have a joint LogiCIC/LIRa session with Rahim Ramezanian.
Everyone is cordially invited!
Speaker: Rahim Ramezanian
Date and Time: Friday, February 12th 2015, 13:00 – 14:30.
Venue: ILLC Seminar Room F1.15, Science Park 107.
Title: Epistemic Protocols for Dynamic Gossip.
Abstract. A gossip protocol is a procedure for spreading secrets among a group of agents, using a connection graph. In each call between a pair of connected agents, the two agents share all the secrets they have learnt. In dynamic gossip problems, dynamic connection graphs are enabled by permitting agents to spread as well the phone numbers of other agents they know. This talk characterizes different distributed epistemic protocols in terms of the (largest) class of graphs where each protocol is successful, i.e. where the protocol necessarily ends up with all agents knowing all secrets.