BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Concurrent Games - Glynn Winskel\, Computer Laboratory\, Universit
 y of Cambridge
DTSTART:20111122T141500Z
DTEND:20111122T151500Z
UID:TALK34576@talks.cam.ac.uk
CONTACT:Julia Goedecke
DESCRIPTION:I will present and motivate recent results on concurrent games
 . These represent a situation in which a Player (or a team of players) com
 pete against an Opponent (a team of opponents)\, possibly in a highly dist
 ributed fashion. As usual the dichotomy Player vs. Opponent can be interpr
 eted in a variety of ways\, as Process vs. Environment\, or Proof vs. Refu
 tation. Both games and nondeterministic concurrent strategies are represen
 ted by event structures\, a `partial-order model' of computation\, with an
  extra function expressing the polarity (the Player/Opponent nature) of ea
 ch event. Although this work has grown from the needs of semantics of prog
 ramming languages - I'll explain how - I believe it could have much more g
 eneral interest.\n
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR