BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Interleaved scope for games and automata - Murdoch Gabbay\, Heriot
 -Watt University
DTSTART:20170609T130000Z
DTEND:20170609T140000Z
UID:TALK72046@talks.cam.ac.uk
CONTACT:Dominic Mulligan
DESCRIPTION:There has been some interest recently in applying nominal tech
 niques to the semantics of games and automata. I will describe research in
 to splitting name-restriction into explicit name-allocation and name-deall
 ocation\, written <a and a> respectively.\n"<a foo a>" corresponds to "bin
 d a in foo"\, but scope may just as well be interleaved\, as in\n"<a <b fo
 o a> b>".\nI will discuss algebraic and relational models of interleaved s
 cope\, and outline applications which include game semantics and automata.
 ​\n\n​\nInterested readers are referred to:\nhttp://gabbay.org.uk/pape
 rs.html#leannt\nhttp://gabbay.org.uk/papers.html#gamsnm\n
LOCATION:FW26
END:VEVENT
END:VCALENDAR