| 2025 | A Mixed Linear and Graded Logic: Proofs, Terms, and Models. | Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard |
| 2025 | Minimality in Finite-Dimensional ZW-Calculi. | Marc de Visme, Renaud Vilmart |
| 2025 | Modal Automata: Analysing Modal Fixpoint Logics, One Step at a Time (Invited Talk). | Yde Venema |
| 2025 | Reachability for Multi-Priced Timed Automata with Positive and Negative Rates. | Andrew Scoones, Mahsa Shirmohammadi, James Worrell |
| 2025 | Equi-Rank Homomorphism Preservation Theorem on Finite Structures. | Benjamin Rossman |
| 2025 | Finite Variable Counting Logics with Restricted Requantification. | Simon Ramann, Georg Schindling, Pascal Schweitzer |
| 2025 | Insights from Univalent Foundations: A Case Study Using Double Categories. | Nima Rasekh, Niels van der Weide, Benedikt Ahrens, Paige Randall North |
| 2025 | Linear Realisability over Nets: Multiplicatives. | Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco |
| 2025 | Playing with Modalities (Invited Talk). | Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermller |
| 2025 | Exponential Lower Bounds on Definable Fixed Points. | Konstantinos Papafilippou, David Fernndez-Duque |
| 2025 | The Algebras for Automatic Relations. | Rmi Morvan |
| 2025 | The Lambda Calculus Is Quantifiable. | Valentin Maestracci, Paolo Pistone |
| 2025 | Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents. | Tim S. Lyon, Ian Shillito, Alwen Tiu |
| 2025 | Unifying Sequent Systems for Gdel-Lb Provability Logic via Syntactic Transformations. | Tim S. Lyon |
| 2025 | Computational Complexity of the Weisfeiler-Leman Dimension. | Moritz Lichter, Simon Ramann, Pascal Schweitzer |
| 2025 | On Homogeneous Models of Fluted Languages. | Daumantas Kojelis |
| 2025 | Completeness of First-Order Bi-Intuitionistic Logic. | Dominik Kirst, Ian Shillito |
| 2025 | Description Complexity of Unary Structures in First-Order Logic with Links to Entropy. | Reijo Jaakkola, Antti Kuusisto, Miikka Vilander |
| 2025 | A Complete Graphical Language for Linear Optical Circuits with Finite-Photon-Number Sources and Detectors. | Nicolas Heurtel |
| 2025 | Simple Types for Probabilistic Termination. | Willem Heijltjes, Georgina Majury |
| 2025 | Coslice Colimits in Homotopy Type Theory. | Perry Hart, Kuen-Bang Hou (Favonia) |
| 2025 | First-Order Logic with Equicardinality in Random Graphs. | Simi Haber, Tal Hershko, Mostafa Mirabi, Saharon Shelah |
| 2025 | Permissive Equilibria in Multiplayer Reachability Games. | Aline Goeminne, Benjamin Monmege |
| 2025 | The Complexity of Second-Order HyperLTL. | Hadar Frenkel, Martin Zimmermann |
| 2025 | Quantitative Graded Semantics and Spectra of Behavioural Metrics. | Jonas Forster, Lutz Schrder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara Knig, Karla Messing |