| 2023 | A Formal Logic for Formal Category Theory. Max S. New, Daniel R. Licata |
| 2023 | A Higher-Order Language for Markov Kernels and Linear Operators. Pedro H. Azevedo de Amorim |
| 2023 | A Logical Framework with Higher-Order Rational (Circular) Terms. Zhibo Chen, Frank Pfenning |
| 2023 | A Programming Language Characterizing Quantum Polynomial Time. Emmanuel Hainry, Romain Péchoux, Mário Silva |
| 2023 | A Strict Constrained Superposition Calculus for Graphs. Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier |
| 2023 | An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic. Quang Loc Le, Xuan-Bach Dinh Le |
| 2023 | Compositional Learning for Interleaving Parallel Automata. Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi |
| 2023 | Coverability in 2-VASS with One Unary Counter is in NP. Filip Mazowiecki, Henry Sinclair-Banks, Karol Wegrzycki |
| 2023 | Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts. Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet |
| 2023 | Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains. Amgad Rady, Franck van Breugel |
| 2023 | Fast Matching of Regular Patterns with Synchronizing Counting. Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar |
| 2023 | Fixed Points and Noetherian Topologies. Aliaume Lopez |
| 2023 | Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings Orna Kupferman, Pawel Sobocinski |
| 2023 | Just Testing. Rob van Glabbeek |
| 2023 | Kantorovich Functors and Characteristic Logics for Behavioural Distances. Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild |
| 2023 | Model and Program Repair via Group Actions. Paul C. Attie, William Cocke |
| 2023 | On History-Deterministic One-Counter Nets. Aditya Prakash, K. S. Thejaswini |
| 2023 | On the Comparison of Discounted-Sum Automata with Multiple Discount Factors. Udi Boker, Guy Hefetz |
| 2023 | On the Existential Arithmetics with Addition and Bitwise Minimum. Mikhail R. Starchak |
| 2023 | Pebble minimization: the last theorems. Gaëtan Douéneau-Tabot |
| 2023 | Preservation and Reflection of Bisimilarity via Invertible Steps. Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen |
| 2023 | Quantitative Safety and Liveness. Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç |
| 2023 | Reverse Bisimilarity vs. Forward Bisimilarity. Marco Bernardo, Sabina Rossi |
| 2023 | Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives. Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux |
| 2023 | Unboundedness Problems for Machines with Reversal-Bounded Counters. Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche |
| 2023 | Weighted and Branching Bisimilarities from Generalized Open Maps. Jérémy Dubut, Thorsten Wißmann |
| 2023 | When Programs Have to Watch Paint Dry. Danel Ahman |