Distinguished Lecture:Glynn Winskel - Concurrent games and strategies

Concurrent games and strategies are based on event structures, a model of computation which focusses on causal dependencies and conflicts between events, in which histories are represented as partial orders of events - they are closely related to Petri nets. Concurrent games have been advanced as an up-to-date foundation for computation much better suited to the interactive and quantitative aspects of computation as we find it today than, say, traditional domain theory. In this talk I will introduce concurrent games and event structures, outline their successes in a range of areas - in semantics of classical proof, weak memory, probabilistic and quantum computation - and what I see as the important next steps in their development.