‹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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Mathematical FoundationsBx at Baie des Anges B
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
11:00
30m
Full-paper
Cospans and Symmetric Lenses
Bx
Michael Johnson Macquarie University, Australia, Robert Rosebrugh
11:30
30m
Short-paper
Understanding Profunctor Optics: a representation theorem
Bx
12:00
30m
Talk
Bimorphic lenses in compositional game theory
Bx
Jules Hedges University of Oxford