Speaker: Sophia Knight (University of Minnesota Duluth)
Date and Time: Friday, June 12th 2026, 16:00-17:30
(Note the unusual day and time!)
Venue: ILLC Seminar Room F1.15, Science Park 107 and online.
Title: An epistemic analysis of randomized coordinated attack.
Abstract. I will present an epistemic analysis of the classic randomized coordinated attack algorithm of Varghese and Lynch. I will slightly improve the classic bound connecting the number of rounds and the probability of failure of this algorithm, proving a tight lower bound. Finally, I will present some work toward a probabilistic epistemic logic for distributed systems.