BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Jérémy Ledent (University of Strathclyde - UK)
DTSTART:20220930T150000Z
DTEND:20220930T160000Z
DTSTAMP:20260423T041612Z
UID:GEOTOP-A/24
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/GEOTOP-A/24/
 ">Knowledge and topology: a simplicial approach</a>\nby Jérémy Ledent (U
 niversity of Strathclyde - UK) as part of GEOTOP-A seminar\n\n\nAbstract\n
 Multi-agent Epistemic Logic is a modal logic of knowledge. It allows to re
 ason about a finite set of agents who may know facts about the world\, and
  about each other. In this talk\, I will present a new semantics for epist
 emic logic\, based on simplicial complexes. In this approach\, the knowled
 ge of the agents is modeled by a higher-dimensional space called a simplic
 ial model\; and the truth of an epistemic logic formula can be evaluated b
 y inspecting the various possible paths in this space. I will illustrate t
 hese ideas using examples from the theory of distributed computing\, where
  the agents correspond to individual processes who can exchange informatio
 n in order to solve a task. Both topological invariants and logical invari
 ants can be leveraged to prove that some distributed computing tasks are i
 mpossible to solve.\n
LOCATION:https://researchseminars.org/talk/GEOTOP-A/24/
END:VEVENT
END:VCALENDAR