| 2026 | $\mathbb {K}$ Definitions as Matching Logic Theories, Formally. Xiaohong Chen, Horatiu Cheval, Dorel Lucanu, Grigore Rosu |
| 2026 | A 2-categorical approach to the semantics of dependent type theory with computation axioms. Matteo Spadetto |
| 2026 | A Coalgebraic Approach to Infinite Games. Benjamin Plummer, Corina Cîrstea |
| 2026 | A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead. Yoshiki Nakamura |
| 2026 | A No-go Theorem for Coalgebraic Product Construction. Mayuko Kori, Kazuki Watanabe |
| 2026 | Abstract Lipschitz Continuity - Combining Semantic and Quantitative Approximations. Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban |
| 2026 | Active Learning Techniques for Pomset Recognizers. Adrien Pommellet, Amazigh Amrane, Edgar Delaporte, Geoffroy Du Prey, Oscar Peyron |
| 2026 | Bridging the Gap Between Plain VASS and Branching VASS. Clotilde Bizière, Jérôme Leroux, Grégoire Sutre |
| 2026 | Complete FSM Testing Using Strong Separability. Robert M. Hierons, Mohammad Reza Mousavi |
| 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 | Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits. Noé Delorme, Simon Perdrix |
| 2026 | Foundations of Software Science and Computation Structures - 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings Nathalie Bertrand, Stefan Milius |
| 2026 | From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata. Mathieu Lehaut, Anca Muscholl, Nir Piterman |
| 2026 | Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich. Paul Wild, Lutz Schröder, Karla Messing, Barbara König, Jonas Forster |
| 2026 | Inquisitive Team Semantics of LTL. Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano |
| 2026 | Interaction Improvement. Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni |
| 2026 | Karp's NP-Complete Problems over First-Order Definable Structures. Aidan Healy, Bartek Klin |
| 2026 | Lambda Galore. Mariangiola Dezani-Ciancaglini, Besik Dundua, Furio Honsell |
| 2026 | Learning Bottom-Up Tree Automata Valued in Monoidal Categories. Quentin Aristote, Daniela Petrisan |
| 2026 | On Reversibility in Petri Nets. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2026 | Partial Reductions for Kleene Algebra with Linear Hypotheses. Liam Chung, Tobias Kappé |
| 2026 | Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach. Thea Li, Vladimir Zamdzhiev |
| 2026 | Realization of Relational Presheaves. Yorgo Chamoun, Samuel Mimram |
| 2026 | Synthesising Asynchronous Automata from Fair Specifications. Béatrice Bérard, Benjamin Monmege, B. Srivathsan, Arnab Sur |
| 2026 | Tapes as Stochastic Matrices of String Diagrams. Filippo Bonchi, Cipriano Junior Cioffo |
| 2026 | The Complexity of Games with Randomised Control. Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu |
| 2026 | The Modal Logic of Abstraction Refinement. Jakob Piribauer, Vinzent Zschuppe |
| 2026 | The Value Problem for Weighted Timed Games with Two Clocks is Undecidable. Quentin Guilmant, Joël Ouaknine, Isa Vialard |
| 2026 | Varieties of Quantitative Algebras Presented by 1-Basic Monads. Jirí Adámek |
| 2026 | Well-quasi-orderings on word languages. Nathan Lhote, Aliaume Lopez, Lia Schütze |