GALOP 2024 Contributors

Sun 14 Jan 2024 London, United Kingdom

co-located with POPL 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (37)

A Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance Normal Form Bisimulations by Value
Aurore AlcoleiAlcolei, Aurore INRIA RennesFrance Committee Member in Program Committee within the GALOP-track
B Lison Blondeau-PatissierBlondeau-Patissier, Lison LIS & I2M, Aix-Marseille UniversitéFrance Taylor Expansion is Game Semantics
Peio BorthelleBorthelle, Peio Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, LAMA, 73000 ChambéryFrance An abstract, certified account of Operational Game Semantics
Benedict BuntingBunting, Benedict University of OxfordUnited Kingdom Operational Algorithmic Game Semantics
C Kostia ChardonnetChardonnet, Kostia Università di BolognaItaly MELL proof-nets without boxes: thirty years later
Pierre ClairambaultClairambault, Pierre CNRS & LIS, Aix-Marseille UniversitéFrance Session Chair of Session 1 (part of GALOP) Taylor Expansion is Game Semantics Committee Member in Organising Committee within the GALOP-track Co-chair in Program Committee within the GALOP-track
D Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly On Interaction, Efficiency, and Reversibility Invited Speaker in Invited Speakers within the GALOP-track
Abhishek DeDe, Abhishek University of BirminghamUnited Kingdom MELL proof-nets without boxes: thirty years later
Yotam DvirDvir, Yotam Tel Aviv University A Denotational Approach to Release/Acquire Concurrency
F Claudia FaggianFaggian, Claudia Université de Paris & CNRS Normal Form Bisimulations by Value
G Jad Elkhaleq GhalayiniGhalayini, Jad Elkhaleq University of CambridgeUnited Kingdom SSA is Freyd Categories
Dan GhicaGhica, Dan HuaweiUnited Kingdom Committee Member in Program Committee within the GALOP-track
H Daniel HausmannHausmann, Daniel University of GothenburgSweden Fair omega-Regular Games
Tom HirschowitzHirschowitz, Tom Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 ChambéryFrance An abstract, certified account of Operational Game Semantics
J Guilhem JaberJaber, Guilhem Nantes UniversitéFrance Session Chair of Session 4 (part of GALOP) Operational game semantics for generative algebraic effects and handlers An abstract, certified account of Operational Game Semantics Committee Member in Program Committee within the GALOP-track
Hamza JaâfarJaâfar, Hamza Inria Operational game semantics for generative algebraic effects and handlers
K Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom A Denotational Approach to Release/Acquire Concurrency
Vasileios KoutavasKoutavas, Vasileios Trinity College DublinIreland Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
L Ori LahavLahav, Ori Tel Aviv UniversityIsrael A Denotational Approach to Release/Acquire Concurrency
Jim LairdLaird, Jim University of BathUnited Kingdom Committee Member in Program Committee within the GALOP-track
Adrienne LancelotLancelot, Adrienne Inria, LIX Ecole Polytechnique, IRIF Université Paris CitéFrance Normal Form Bisimulations by Value
Paul Blain LevyLevy, Paul Blain University of BirminghamUnited Kingdom Game-enriched categories
Yu-Yang LinLin, Yu-Yang Queen Mary University of London Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
M Cristina MatacheMatache, Cristina University of Edinburgh An algebraic theory of named threads (work in progress)
Paul-André MellièsMelliès, Paul-André CNRS; Université de ParisFrance Committee Member in Program Committee within the GALOP-track
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom Operational Algorithmic Game Semantics Committee Member in Organising Committee within the GALOP-track Committee Member in Program Committee within the GALOP-track
N Lê Thành Dũng NguyễnNguyễn, Lê Thành Dũng École normale supérieure de LyonFrance Invisible pebbles and the geometry of affine higher-order tree transducers
P Hugo PaquetPaquet, Hugo LIPN, Université Sorbonne Paris NordFrance Session Chair of Session 3 (part of GALOP) Committee Member in Program Committee within the GALOP-track
Nir PitermanPiterman, Nir University GothenburgSweden Fair omega-Regular Games
S Irmak SaglamSaglam, Irmak Max Planck Institute for Software Systems (MPI-SWS)Germany Fair omega-Regular Games
Anne-Kathrin SchmuckSchmuck, Anne-Kathrin Max Planck Institute for Software SystemsGermany Fair omega-Regular Games
Zhong ShaoShao, Zhong Yale UniversityUnited States Compositional Development of Certified System Software Committee Member in Invited Speakers within the GALOP-track
T Nikos TzevelekosTzevelekos, Nikos Queen Mary University of LondonUnited Kingdom Session Chair of Session 2 (part of GALOP) Fully Abstract Normal Form Bisimulation for Call-by-Value PCF Committee Member in Organising Committee within the GALOP-track Co-chair in Program Committee within the GALOP-track
V Gabriele VanoniVanoni, Gabriele IRIF, Université Paris Cité Invisible pebbles and the geometry of affine higher-order tree transducers
Lionel Vaux AuclairVaux Auclair, Lionel University of Aix-MarseilleFrance Taylor Expansion is Game Semantics
Z Yannick ZakowskiZakowski, Yannick InriaFrance An abstract, certified account of Operational Game Semantics Committee Member in Program Committee within the GALOP-track