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: (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