{"id":5651,"date":"2026-05-14T11:36:56","date_gmt":"2026-05-14T09:36:56","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=5651"},"modified":"2026-06-12T18:05:45","modified_gmt":"2026-06-12T16:05:45","slug":"lira-session-sophia-knight-2","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2026\/05\/lira-session-sophia-knight-2\/","title":{"rendered":"LIRa session: Sophia Knight"},"content":{"rendered":"<p>The\u00a0<a href=\"https:\/\/video.uva.nl\/media\/LIRa+seminar+on+2026-06-12+by+Sophia+Knight\/0_8ef89mjv\">recording of this talk is available here<\/a>.<\/p>\n<p>Speaker: <a href=\"https:\/\/sites.google.com\/view\/sophiaknight\">Sophia Knight<\/a> (University of Minnesota Duluth)<\/p>\n<p>Date and Time: Friday, June&nbsp;12th 2026, 16:00-17:30<br \/>\n(Note the unusual day and time!)<\/p>\n<p>Venue: ILLC Seminar Room F1.15, Science Park 107 <strong>and<\/strong>\u00a0<a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a>.<\/p>\n<p>Title: <strong>An epistemic analysis of randomized coordinated attack.<\/strong><\/p>\n<p><em>Abstract.<\/em> 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.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The\u00a0recording of this talk is available here.<br \/>\nSpeaker: Sophia Knight (University of Minnesota Duluth)<br \/>\nDate and Time: Friday, June&nbsp;12th 2026, 16:00-17:30<br \/>\n(Note the unusual day and time!)<br \/>\nVenue: ILLC Seminar Room F1.15, Science Park 107 and\u00a0online.<br \/>\nTitle: An epistemic analysis of randomized coordinated attack.<br \/>\nAbstract. I will present an epistemic analysis of the classic randomized coordinated attack algorithm of Varghese and [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[14],"tags":[],"class_list":["post-5651","post","type-post","status-publish","format-standard","hentry","category-all"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5651","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=5651"}],"version-history":[{"count":4,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5651\/revisions"}],"predecessor-version":[{"id":5674,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5651\/revisions\/5674"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=5651"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=5651"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=5651"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}