|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 listsAxonal degeneration and repair: plasticity and stem cells Biophysical Techniques Lecture Series 2013 CSLB - SPARC joint workshop
Other talksMesoscopic Solar Cells And Solar Fuels Pseudotype viruses - applications and troubleshooting The Emergence of Human Persons: Bewteen the Scylla of Dualism and the Charybdis of Reductionism "Using computational methods to aid our understanding of ionotropic glutamate receptors at the molecular level" Annual General Meeting Strong Lensing as a Cosmological Probe: Obstacles and Solutions