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

We give (conjecture) a universal property of the Elgot monad, i.e. monad supporting iteration, that sends each set X to the set of nondeterministic strategies for a game where play can end by returning an element of X, where the representation of the strategy includes infinite traces.

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

09:00 - 10:30
IGaLoP at S3
09:00
60m
Talk
Intertwining game theory and game semantics
GaLoP
I: Jules HedgesUniversity of Oxford
10:00
30m
Talk
Universal property of the monad for infinite trace strategies (work in progress)
GaLoP
Paul Blain LevyUniversity of Birmingham, Sergey GoncharovFAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8