BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Stone duality for bitopological spaces - Achim Jung\, University o
 f Birmingham
DTSTART:20070309T140000Z
DTEND:20070309T150000Z
UID:TALK6606@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:Samson Abramsky promoted the idea to use Stone duality to\ncon
 nect denotational semantics for programming languages with program\nlogics
 . He developed a fairly specialised theory that was applicable to\nso-call
 ed Scott-domains (and SFP objects). In joint work with Drew\nMoshier\, we 
 found that the theory becomes much more elegant if carried out\nfor stably
  compact spaces. More recently\, we discovered that our duality\n(and the 
 resulting logic) can usefully be expressed for bitopological\nspaces. This
  sheds new light on the logical set-up but\, surprisingly\,\nalso on the c
 lassical dualities of Stone for Boolean algebras and\ndistributive lattice
 s.\n
LOCATION:FW11
END:VEVENT
END:VCALENDAR