POPL 2024 (series) / GALOP 2024 (series) /
GALOP 2024 Program
This is the GALOP 2024 program - see the full program for POPL 2024 and all affiliated events.
Filter Program
Dates
Sun 14 Jan 2024
Mon 15 Jan 2024
Tue 16 Jan 2024
Sat 20 Jan 2024
Rooms
Lovelace Room
Maxwell Library
Riverside Room
Siemens Boardroom
Tracks
GALOP
POPL Catering
Badges
Nothing to filter
Your Program
Nothing to filter
Sun 14 JanDisplayed time zone: London change
Sun 14 Jan
Displayed time zone: London change
09:00 - 10:30 | |||
09:00 45mKeynote | On Interaction, Efficiency, and Reversibility GALOP Ugo Dal Lago University of Bologna & INRIA Sophia Antipolis | ||
09:45 22mTalk | 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 22mTalk | 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 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 22mTalk | Operational game semantics for generative algebraic effects and handlers GALOP | ||
11:23 22mTalk | 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 22mTalk | Operational Algorithmic Game Semantics GALOP | ||
12:08 22mTalk | An algebraic theory of named threads (work in progress) GALOP Cristina Matache University of Edinburgh | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 45mKeynote | Compositional Development of Certified System Software GALOP Zhong Shao Yale University | ||
14:45 22mTalk | SSA is Freyd Categories GALOP Jad Elkhaleq Ghalayini University of Cambridge | ||
15:08 22mTalk | A Denotational Approach to Release/Acquire Concurrency GALOP | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:52 | |||
16:00 22mTalk | Invisible pebbles and the geometry of affine higher-order tree transducers GALOP | ||
16:22 22mTalk | 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 22mTalk | Game-enriched categories GALOP Paul Blain Levy University of Birmingham | ||
17:07 22mTalk | 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 22mTalk | MELL proof-nets without boxes: thirty years later GALOP | ||
Mon 15 JanDisplayed time zone: London change
Mon 15 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
Tue 16 JanDisplayed time zone: London change
Tue 16 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
Sat 20 JanDisplayed time zone: London change
Sat 20 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||