Close
Distinguished Lecture:Glynn Winskel - Concurrent games and strategies
10 July 2019, 3:15 pm–4:15 pm
UCL Department of Computer Science is delighted to invite you to a distinguished lecture by guest speaker Glynn Winskel (University of Cambridge Computer Laboratory) who will be visiting UCL on: Wednesday 10th July. Lecture (inc. Q&A): 15.15-16.15 Location: Roberts 106 Lecture Theatre
This event is free.
Event Information
Open to
- All
Availability
- Yes
Cost
- Free
Organiser
-
UCL Department of Computer Science – Computer Science
Location
-
Roberts 106 LT45: Roberts BuildingTorrington PlaceLondonWC1E 7JEUnited Kingdom
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.
About the Speaker
Professor Glynn Winskel
Professor University of Cambridge at UCL Computer Science
https://www.turing.ac.uk/people/researchers/glynn-winskel
More about Professor Glynn Winskel