|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
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:
Note that ex-directory lists are not shown.
Other listsExoplanet Meetings Surface, Microstructure & Fracture group Engineers Without Borders
Other talksRetrospective evaluation of masitinib and prednisolone compared to masitinib alone in canine mast cell tumours. ‘No longer the dismal science: the contribution of health economics to health gains in the developing world’ by Professor Dame Anne Mills A discourse of ‘we’: gendered subjectivities and caregiving in UK ‘stay-at-home-dads’ The Polis and the Res Publica: Two Arendtian Models of Political Violence Strategies for managing social media research data – A digital methods development workshop organised by Cambridge University Library and the Digital Humanities Network. Two-phase-flow dynamics in ice sheets