| 2026 | FSCD | Non-Wellfounded Derivations for Intersection Subtyping with Fixpoints. | Olivier Laurent, Jui-Hsuan Wu |
| 2026 | LICS | The Logic of Intersection Subtyping. | Olivier Laurent |
| 2025 | FSCD | Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic. | Rmi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair |
| 2025 | ICLR | Towards Understanding Why Label Smoothing Degrades Selective Classification and How to Fix It. | Guoxuan Xia, Olivier Laurent, Gianni Franchi, Christos-Savvas Bouganis |
| 2024 | CVPR | Make Me a BNN: A Simple Strategy for Estimating Bayesian Uncertainty from Pre-trained Models. | Gianni Franchi, Olivier Laurent, Maxence Legury, Andrei Bursuc, Andrea Pilzer, Angela Yao |
| 2024 | ICLR | A Symmetry-Aware Exploration of Bayesian Neural Network Posteriors. | Olivier Laurent, Emanuel Aldea, Gianni Franchi |
| 2024 | WACV | Learning to generate training datasets for robust semantic segmentation. | Marwane Hariat, Olivier Laurent, Rmi Kazmierczak, Shihao Zhang, Andrei Bursuc, Angela Yao, Gianni Franchi |
| 2023 | FSCD | Type Isomorphisms for Multiplicative-Additive Linear Logic. | Rmi Di Guardia, Olivier Laurent |
| 2023 | ICLR | Packed Ensembles for efficient uncertainty estimation. | Olivier Laurent, Adrien Lafage, Enzo Tartaglione, Geoffrey Daniel, Jean-Marc Martinez, Andrei Bursuc, Gianni Franchi |
| 2021 | CPP | An anti-locally-nameless approach to formalizing quantifiers. | Olivier Laurent |
| 2019 | FOSSACS | Resource-Tracking Concurrent Games. | Aurore Alcolei, Pierre Clairambault, Olivier Laurent |
| 2018 | LICS | Around Classical and Intuitionistic Linear Logics. | Olivier Laurent |
| 2008 | CSL | Quantitative Game Semantics for Linear Logic. | Ugo Dal Lago, Olivier Laurent |
| 2008 | LICS | Cut Elimination for Monomial MALL Proof Nets. | Olivier Laurent, Roberto Maieli |
| 2007 | CONCUR | Interpreting a Finitary Pi-calculus in Differential Interaction Nets. | Thomas Ehrhard, Olivier Laurent |
| 2006 | LICS | Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. | Olivier Laurent, Lorenzo Tortora de Falco |
| 2003 | LICS | About Translations of Classical Logic into Polarized Linear Logic. | Olivier Laurent, Laurent Regnier |
| 2002 | LICS | Polarized Games. | Olivier Laurent |