BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Logic and Semantics Seminar (Computer Laboratory)
SUMMARY:Interleaved scope for games and automata - Murdoch
Gabbay\, Heriot-Watt University
DTSTART;TZID=Europe/London:20170609T140000
DTEND;TZID=Europe/London:20170609T150000
UID:TALK72046AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/72046
DESCRIPTION:There has been some interest recently in applying
nominal techniques to the semantics of games and a
utomata. I will describe research into splitting n
ame-restriction into explicit name-allocation and
name-deallocation\, written respectively
.\n"" corresponds to "bind a in foo"\, bu
t scope may just as well be interleaved\, as in\n"
b>".\nI will discuss algebraic and re
lational models of interleaved scope\, and outline
applications which include game semantics and aut
omata.ā\n\nā\nInterested readers are referred to:\
nhttp://gabbay.org.uk/papers.html#leannt\nhttp://g
abbay.org.uk/papers.html#gamsnm\n
LOCATION:FW26
CONTACT:Dominic Mulligan
END:VEVENT
END:VCALENDAR