BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260525T191633Z
UID:Seminar-verification-694@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20200303T110000
DTEND:20200303T120000
SUMMARY:Verification Series
DESCRIPTION:Sven Linker: Notions of Bisimulations on Neighbourhood Spaces\n\nThe logic SLCS (Spatial Logic on Closure Spaces) is a modal logic, which is defined with a generalisation of topological spaces as its semantics. These spaces, which we will call "neighbourhood spaces" comprise, e.g., all topological spaces. Additionally, graphs can also be treated as neighbourhood spaces. While a model checking algorithm for SLCS exists, the analysis of the logic itself is almost non-existing.\n\nIn this talk, I present first results towards a model theory of SLCS. To that end, I define two notions of bisimulations on neighbourhood spaces, and which operators of SLCS they preserve.\nFurthermore, I compare these bisimulations with the standard definition of modal and converse bisimulations on graphical models, as well as with topological bisimulation.\n\nThe results presented are joint work with Fabio Papacchini and Michele Sevegnani.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=694
LOCATION:
END:VEVENT
END:VCALENDAR