| 2026 | CSL | Towards A Rosetta Stone of Interactive and Quantitative Semantics (Invited Talk). | Pierre Clairambault |
| 2026 | LICS | Wiring the π-Calculus to Denotational Semantics. | Ken Sakayori, Davide Sangiorgi, Simon Castellan, Pierre Clairambault |
| 2025 | LICS | The Qualitative Collapse of Concurrent Games. | Pierre Clairambault |
| 2024 | LICS | An Analysis of Symmetry in Quantitative Semantics. | Pierre Clairambault, Simon Forest |
| 2023 | FSCD | Strategies as Resource Terms, and Their Categorical Semantics. | Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair |
| 2023 | LICS | The Cartesian Closed Bicategory of Thin Spans of Groupoids. | Pierre Clairambault, Simon Forest |
| 2023 | LICS | From Thin Concurrent Games to Generalized Species of Structures. | Pierre Clairambault, Federico Olimpieri, Hugo Paquet |
| 2021 | FSCD | Positional Injectivity for Innocent Strategies. | Lison Blondeau-Patissier, Pierre Clairambault |
| 2019 | FOSSACS | Resource-Tracking Concurrent Games. | Aurore Alcolei, Pierre Clairambault, Olivier Laurent |
| 2019 | MFCS | On the Expressivity of Linear Recursion Schemes. | Pierre Clairambault, Andrzej S. Murawski |
| 2019 | RC | Concurrent Quantum Strategies. | Pierre Clairambault, Marc de Visme, Glynn Winskel |
| 2018 | CSL | The True Concurrency of Herbrand's Theorem. | Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel |
| 2018 | CSL | Fully Abstract Models of the Probabilistic lambda-calculus. | Pierre Clairambault, Hugo Paquet |
| 2018 | FOSSACS | Non-angelic Concurrent Game Semantics. | Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel |
| 2018 | LICS | The concurrent game semantics of Probabilistic PCF. | Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel |
| 2017 | MFCS | Distributed Strategies Made Easy. | Simon Castellan, Pierre Clairambault, Glynn Winskel |
| 2016 | CONCUR | Causality vs. Interleavings in Concurrent Game Semantics. | Simon Castellan, Pierre Clairambault |
| 2015 | FOSSACS | Game Semantics and Normalization by Evaluation. | Pierre Clairambault, Peter Dybjer |
| 2015 | LICS | The Parallel Intensionally Fully Abstract Games Model of PCF. | Simon Castellan, Pierre Clairambault, Glynn Winskel |
| 2014 | CSL | Symmetry in concurrent games. | Simon Castellan, Pierre Clairambault, Glynn Winskel |
| 2012 | LICS | The Winning Ways of Concurrent Games. | Pierre Clairambault, Julian Gutierrez, Glynn Winskel |
| 2011 | FOSSACS | Estimation of the Length of Interactions in Arena Game Semantics. | Pierre Clairambault |
| 2011 | LICS | Isomorphisms of Types in the Presence of Higher-Order References. | Pierre Clairambault |
| 2009 | FOSSACS | Least and Greatest Fixpoints in Game Semantics. | Pierre Clairambault |