Program - POPL 2024

Detailed Table Session Timeline Detailed Timeline

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

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 14 Jan
Displayed time zone: London change

09:00 - 10:30	Session 1GALOP at Lovelace Room Chair(s): Pierre Clairambault CNRS & LIS, Aix-Marseille Université

09:00 45m Keynote		On Interaction, Efficiency, and Reversibility GALOP Ugo Dal Lago University of Bologna & INRIA Sophia Antipolis
09:45 22m Talk		Normal Form Bisimulations by Value GALOP Beniamino Accattoli Inria & Ecole Polytechnique, Adrienne Lancelot Inria, LIX Ecole Polytechnique, IRIF Université Paris Cité, Claudia Faggian Université de Paris & CNRS
10:08 22m Talk		Fully Abstract Normal Form Bisimulation for Call-by-Value PCF GALOP Nikos Tzevelekos Queen Mary University of London, Vasileios Koutavas Trinity College Dublin, Yu-Yang Lin Queen Mary University of London

10:30 - 11:00	BreakCatering at Maxwell Library

10:30 30m Coffee break		Break Catering

10:30 - 11:00	BreakCatering at Siemens Boardroom

10:30 30m Coffee break		Break Catering

11:00 - 12:30	Session 2GALOP at Lovelace Room Chair(s): Nikos Tzevelekos Queen Mary University of London

11:00 22m Talk		Operational game semantics for generative algebraic effects and handlers GALOP Hamza Jaâfar Inria, Guilhem Jaber Nantes Université
11:23 22m Talk		An abstract, certified account of Operational Game Semantics GALOP Peio Borthelle Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, LAMA, 73000 Chambéry, Tom Hirschowitz Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry, Guilhem Jaber Nantes Université, Yannick Zakowski Inria
11:45 22m Talk		Operational Algorithmic Game Semantics GALOP Benedict Bunting University of Oxford, Andrzej Murawski University of Oxford
12:08 22m Talk		An algebraic theory of named threads (work in progress) GALOP Cristina Matache University of Edinburgh

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

12:30 - 14:00	LunchCatering at Siemens Boardroom

12:30 90m Lunch		Lunch Catering

14:00 - 15:30	Session 3GALOP at Lovelace Room Chair(s): Hugo Paquet LIPN, Université Sorbonne Paris Nord

14:00 45m Keynote		Compositional Development of Certified System Software GALOP Zhong Shao Yale University
14:45 22m Talk		SSA is Freyd Categories GALOP Jad Elkhaleq Ghalayini University of Cambridge
15:08 22m Talk		A Denotational Approach to Release/Acquire Concurrency GALOP Yotam Dvir Tel Aviv University, Ohad Kammar University of Edinburgh, Ori Lahav Tel Aviv University

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

15:30 - 16:00	BreakCatering at Siemens Boardroom

15:30 30m Coffee break		Break Catering

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

Mon 15 Jan
Displayed time zone: London change

10:30 - 11:00	BreakCatering at Maxwell Library

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

Tue 16 Jan
Displayed time zone: London change

	10:30 - 11:00	BreakCatering at Maxwell Library

10:30 - 11:00	BreakCatering at Riverside Room

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

12:30 - 14:00	LunchCatering at Riverside Room

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

15:30 - 16:00	BreakCatering at Riverside Room

15:30 30m Coffee break		Break Catering

Sat 20 Jan
Displayed time zone: London change

10:30 - 11:00	BreakCatering at Maxwell Library

10:30 30m Coffee break		Break Catering

10:30 - 11:00	BreakCatering at Riverside Room

10:30 30m Coffee break		Break Catering

10:30 - 11:00	BreakCatering at Siemens Boardroom

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

	12:30 - 14:00	LunchCatering at Riverside Room

12:30 - 14:00	LunchCatering at Siemens Boardroom

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

15:30 - 16:00	BreakCatering at Riverside Room

15:30 30m Coffee break		Break Catering

15:30 - 16:00	BreakCatering at Siemens Boardroom

15:30 30m Coffee break		Break Catering

GALOP 2024 Program

Sun 14 Jan
Displayed time zone: London change

Mon 15 Jan
Displayed time zone: London change

Tue 16 Jan
Displayed time zone: London change

Sat 20 Jan
Displayed time zone: London change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

GALOP 2024 Program

Switch Program View

Program Display Configuration

Sun 14 JanDisplayed time zone: London change

Mon 15 JanDisplayed time zone: London change

Tue 16 JanDisplayed time zone: London change

Sat 20 JanDisplayed time zone: London change

Get Calendar (iCal)

Sun 14 Jan
Displayed time zone: London change

Mon 15 Jan
Displayed time zone: London change

Tue 16 Jan
Displayed time zone: London change

Sat 20 Jan
Displayed time zone: London change