‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Tue 10 Apr 2018 12:00 - 12:30 at Baie des Anges B - Mathematical Foundations Chair(s): Jeremy Gibbons

Compositional game theory concerns open games, which are building blocks from which games can be built in a compositional way. At first glance (and at first in the historical development of the topic) this has nothing to do with bx, but a certain notion of lens has turned out to be central to the study of open games. The goal of this talk is to introduce open games to the bx community, and discuss some ways in which the theory of lenses is proving useful to compositional game theory.

Tue 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Mathematical FoundationsBx at Baie des Anges B
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
11:00 - 11:30
Michael JohnsonMacquarie University, Australia, Robert Rosebrugh
11:30 - 12:00
12:00 - 12:30
Jules HedgesUniversity of Oxford