Concurrent Games

Add to your list(s) Download to your calendar using vCal

• Glynn Winskel, Computer Laboratory, University of Cambridge
• Tuesday 22 November 2011, 14:15-15:15
• MR5, Centre for Mathematical Sciences.

If you have a question about this talk, please contact Julia Goedecke.

I will present and motivate recent results on concurrent games. These represent a situation in which a Player (or a team of players) compete against an Opponent (a team of opponents), possibly in a highly distributed fashion. As usual the dichotomy Player vs. Opponent can be interpreted in a variety of ways, as Process vs. Environment, or Proof vs. Refutation. Both games and nondeterministic concurrent strategies are represented by event structures, a `partial-order model’ of computation, with an extra function expressing the polarity (the Player/Opponent nature) of each event. Although this work has grown from the needs of semantics of programming languages – I’ll explain how – I believe it could have much more general interest.

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Category Theory Seminar
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• MR5, Centre for Mathematical Sciences
• School of Physical Sciences

Note that ex-directory lists are not shown.