ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 09:00 - 10:00 at S3 - I

Open games are fragments of games in the sense of game theory, that can be used to build games compositionally. They can also be thought of as games in the sense of game semantics between a System and Environment, in which the moves are states and payoffs. The System is jointly controlled by n noncooperative utility-maximising players, and the goal of the System is to be in game-theoretic equilibrium. This game-semantic viewpoint is a useful way of thinking about compositional game theory, with its often-mysterious composition operators becoming quite transparent when viewed in terms of game-semantic strategies.

Sat 6 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: GaLoP - I at S3
galop-2019-papers09:00 - 10:00
Jules HedgesUniversity of Oxford
galop-2019-papers10:00 - 10:30
Paul Blain LevyUniversity of Birmingham, Sergey GoncharovFAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8