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 - 10:00
Talk
GaLoP
I: Jules HedgesUniversity of Oxford
10:00 - 10:30
Talk
GaLoP
Paul Blain LevyUniversity of Birmingham, Sergey GoncharovFAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8