Game-enriched categories (GALOP 2024)

Sun 14 - Sat 20 January 2024 London, United Kingdom

Track

GALOP 2024

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 14 Jan 2024 16:44 - 17:07 at Lovelace Room - Session 4 Chair(s): Guilhem Jaber

Abstract

Currently, game models of programming languages are presented as mere categories. I suggest that, where possible, we should instead present them as game-enriched categories. A potential benefit is that this would make it easier to vary the notion of strategy.

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 14 Jan
Displayed time zone: London change

16:00 - 17:52	Session 4GALOP at Lovelace Room Chair(s): Guilhem Jaber Nantes Université

16:00 22m Talk		Invisible pebbles and the geometry of affine higher-order tree transducers GALOP Lê Thành Dũng Nguyễn École normale supérieure de Lyon, Gabriele Vanoni IRIF, Université Paris Cité
16:22 22m Talk		Taylor Expansion is Game Semantics GALOP Lison Blondeau-Patissier LIS & I2M, Aix-Marseille Université, Pierre Clairambault CNRS & LIS, Aix-Marseille Université, Lionel Vaux Auclair University of Aix-Marseille
16:44 22m Talk		Game-enriched categories GALOP Paul Blain Levy University of Birmingham
17:07 22m Talk		Fair omega-Regular Games GALOP Daniel Hausmann University of Gothenburg, Nir Piterman University Gothenburg, Irmak Saglam Max Planck Institute for Software Systems (MPI-SWS), Anne-Kathrin Schmuck Max Planck Institute for Software Systems
17:29 22m Talk		MELL proof-nets without boxes: thirty years later GALOP Abhishek De University of Birmingham, Kostia Chardonnet Università di Bologna

Game-enriched categories

Sun 14 Jan
Displayed time zone: London change

Paul Blain Levy

University of Birmingham

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Game-enriched categories

Program Display Configuration

Program Display Configuration

Sun 14 JanDisplayed time zone: London change

Paul Blain Levy

University of Birmingham

Sun 14 Jan
Displayed time zone: London change