| 2026 | Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich. | Paul Wild, Lutz Schrder, Karla Messing, Barbara Knig, Jonas Forster |
| 2026 | A 2-categorical approach to the semantics of dependent type theory with computation axioms. | Matteo Spadetto |
| 2026 | Active Learning Techniques for Pomset Recognizers. | Adrien Pommellet, Amazigh Amrane, Edgar Delaporte, Geoffroy Du Prey, Oscar Peyron |
| 2026 | A Coalgebraic Approach to Infinite Games. | Benjamin Plummer, Corina Crstea |
| 2026 | The Modal Logic of Abstraction Refinement. | Jakob Piribauer, Vinzent Zschuppe |
| 2026 | A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead. | Yoshiki Nakamura |
| 2026 | On Reversibility in Petri Nets. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2026 | Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach. | Thea Li, Vladimir Zamdzhiev |
| 2026 | Well-quasi-orderings on word languages. | Nathan Lhote, Aliaume Lopez, Lia Schtze |
| 2026 | From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata. | Mathieu Lehaut, Anca Muscholl, Nir Piterman |
| 2026 | Interaction Improvement. | Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni |
| 2026 | A No-go Theorem for Coalgebraic Product Construction. | Mayuko Kori, Kazuki Watanabe |
| 2026 | Complete FSM Testing Using Strong Separability. | Robert M. Hierons, Mohammad Reza Mousavi |
| 2026 | Karp's NP-Complete Problems over First-Order Definable Structures. | Aidan Healy, Bartek Klin |
| 2026 | The Value Problem for Weighted Timed Games with Two Clocks is Undecidable. | Quentin Guilmant, Jol Ouaknine, Isa Vialard |
| 2026 | Complexity of Model Checking Second-Order Hyperproperties on Finite Structures. | Bernd Finkbeiner, Hadar Frenkel, Tim Rohde |
| 2026 | Composition Theorems for f-Differential Privacy. | Natasha Fernandes, Annabelle McIver, Parastoo Sadeghi |
| 2026 | Lambda Galore. | Mariangiola Dezani-Ciancaglini, Besik Dundua, Furio Honsell |
| 2026 | Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits. | No Delorme, Simon Perdrix |
| 2026 | Partial Reductions for Kleene Algebra with Linear Hypotheses. | Liam Chung, Tobias Kapp |
| 2026 | $\mathbb {K}$ Definitions as Matching Logic Theories, Formally. | Xiaohong Chen, Horatiu Cheval, Dorel Lucanu, Grigore Rosu |
| 2026 | Realization of Relational Presheaves. | Yorgo Chamoun, Samuel Mimram |
| 2026 | Abstract Lipschitz Continuity - Combining Semantic and Quantitative Approximations. | Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban |
| 2026 | Inquisitive Team Semantics of LTL. | Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano |
| 2026 | Tapes as Stochastic Matrices of String Diagrams. | Filippo Bonchi, Cipriano Junior Cioffo |