| 2026 | CiE | Mathematical Informatics: Algorithms. | Thomas Seiller |
| 2025 | CSL | Linear Realisability over Nets: Multiplicatives. | Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco |
| 2024 | MFCS | Agafonov's Theorem for Probabilistic Selectors. | Ulysse Lchine, Thomas Seiller, Jakob Grue Simonsen |
| 2023 | ATVA | pymwp: A Static Analyzer Determining Polynomial Growth Bounds. | Clment Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
| 2023 | VMCAI | Distributing and Parallelizing Non-canonical Loops. | Clment Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
| 2022 | FSCD | mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. | Clment Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
| 2017 | ATVA | Loop Quasi-Invariant Chunk Detection. | Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller |
| 2016 | FOSSACS | Unary Resolution: Characterizing Ptime. | Clment Aubert, Marc Bagnol, Thomas Seiller |
| 2016 | LICS | Interaction Graphs: Full Linear Logic. | Thomas Seiller |
| 2015 | CALCO | An Intensionally Fully-abstract Sheaf Model for pi. | Clovis Eberhart, Tom Hirschowitz, Thomas Seiller |
| 2014 | APLAS | Logic Programming and Logarithmic Space. | Clment Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller |