| 2026 | Dynamic Planar Graph Isomorphism Is in DynFO. | Samir Datta, Asif Khan, Felix Tschirbs, Nils Vortmeier, Thomas Zeume |
| 2026 | Star Complexity of Parikh Images of Languages over Infinite Alphabets. | Yoav Danieli |
| 2026 | Interpreting De Finetti's Theorem in the Category of Integrable Cones. | Raphalle Crubill |
| 2026 | A Categorical Account of the Metropolis-Hastings Algorithm. | Rob Cornish, Andi Q. Wang |
| 2026 | Constructive Higher Sheaf Models with Applications to Synthetic Mathematics. | Thierry Coquand, Jonas Hfer, Christian Sattler |
| 2026 | The Uniformisation of Monadic Second-Order Logic over Countable Ordinals. | Thomas Colcombet, Alexander Rabinovich |
| 2026 | Commutative Algebras of Series. | Lorenzo Clemente |
| 2026 | A Complete Equational Theory for Real-Clifford+CH Quantum Circuits. | Alexandre Clment |
| 2026 | Eliminating Reversals from Cubical Type Theories. | Evan Cavallo, Christian Sattler |
| 2026 | The Size of Interpolants in Modal Logics. | Balder ten Cate, Louwe B. Kuijer, Frank Wolter |
| 2026 | Lazy Intermediate Representations for Algebraic Effects. | Simon Castellan, Hugo Paquet |
| 2026 | Layered Automata: A Canonical Model for Automata over Infinite Words. | Antonio Casares, Christof Lding, Igor Walukiewicz |
| 2026 | Local Combinatorial Analogues for Bounded VC Dimension. | Olga Medrano Martn del Campo |
| 2026 | Dicey Games: Shared Sources of Randomness in Distributed Systems. | Lonard Brice, Thomas A. Henzinger, K. S. Thejaswini |
| 2026 | Low Rank MSO. | Mikolaj Bojanczyk, Michal Pilipczuk, Wojciech Przybyszewski, Marek Sokolowski, Giannos Stamoulis |
| 2026 | Automata for MSO over Infinite Trees with Quantification over Borel Sets of Branches. | Mikolaj Bojanczyk, Antonio Casares, Sven Manthe, Pawel Parys |
| 2026 | On the Computational Power of Extensional ESO. | Manuel Bodirsky, Santiago Guzmn-Pro |
| 2026 | Reachability in VASS Extended with Integer Counters. | Clotilde Bizire, Wojciech Czerwinski, Roland Guttenberg, Jrme Leroux, Vincent Michielini, Lukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks |
| 2026 | Minimization of Streaming Transducers. | Christian Bianchini, Gabriele Puppis |
| 2026 | The Algebra of Iterative Constructions. | Kevin Batz, Benjamin Lucien Kaminski, Lucas Kehrer, Gerwin Klein, Todd Schmid, Henning Urbat |
| 2026 | A Computer Formalisation of the Serre Finiteness Theorem. | Reid Barton, Axel Ljungstrm, Owen Milner, Anders Mrtberg |
| 2026 | Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions. | Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou |
| 2026 | Quantum Control and General Recursion Beyond the Unitary Case. | Kathleen Barsse, Romain Pchoux, Simon Perdrix |
| 2026 | Towards Infinite PCSP: A Dichotomy for Monochromatic Cliques. | Demian Banakh, Alexey Barsukov, Tamio-Vesa Nakajima |
| 2026 | Unbounded Data Nesting for Loops in Higher-Order Programs. | Adriana Baldacchino, Andrzej S. Murawski |