| 2023 | 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023 |
| 2023 | A Complete Equational Theory for Quantum Circuits. Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron |
| 2023 | A Higher-Order Indistinguishability Logic for Cryptographic Reasoning. David Baelde, Adrien Koutsos, Joseph Lallemand |
| 2023 | A Metalanguage for Cost-Aware Denotational Semantics. Yue Niu, Robert Harper |
| 2023 | A categorical account of composition methods in logic. Tomas Jakl, Dan Marsden, Nihil Shah |
| 2023 | A system of inference based on proof search: an extended abstract. Dale Miller |
| 2023 | Allegories of Symbolic Manipulations. Francesco Gavazzo |
| 2023 | Applications of Information Inequalities to Database Theory Problems. Dan Suciu |
| 2023 | Automatic Amortized Resource Analysis with Regular Recursive Types. Jessie Grosen, David M. Kahn, Jan Hoffmann |
| 2023 | Boolean symmetric vs. functional PCSP dichotomy. Tamio-Vesa Nakajima, Stanislav Zivný |
| 2023 | Cartesian Coherent Differential Categories. Thomas Ehrhard, Aymeric Walch |
| 2023 | Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev |
| 2023 | Commutativity in Automated Verification. Azadeh Farzan |
| 2023 | Complete Graphical Language for Hermiticity-Preserving Superoperators. Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart |
| 2023 | Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus. Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke |
| 2023 | Computational expressivity of (circular) proofs with fixed points. Gianluca Curzi, Anupam Das |
| 2023 | Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields. Jason P. Bell, Daniel Smertnig |
| 2023 | Cut-Restriction: From Cuts to Analytic Cuts. Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
| 2023 | Deterministic stream-sampling for probabilistic programming: semantics and verification. Fredrik Dahlqvist, Alexandra Silva, William Smith |
| 2023 | Distal Combinatorial Tools for Graphs of Bounded Twin-Width. Wojciech Przybyszewski |
| 2023 | Embedded Finite Models beyond Restricted Quantifier Collapse. Michael Benedikt, Ehud Hrushovski |
| 2023 | Evidential Decision Theory via Partial Markov Categories. Elena Di Lavore, Mario Román |
| 2023 | Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations. Yoshiki Nakamura |
| 2023 | Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees. Jelle Hellings, Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht |
| 2023 | Extensional and Non-extensional Functions as Processes. Ken Sakayori, Davide Sangiorgi |
| 2023 | Fixed Point Logics on Hemimetric Spaces. David Fernández-Duque, Quentin Gougeon |
| 2023 | Fixpoint operators for 2-categorical structures. Zeinab Galal |
| 2023 | Folding interpretations. Mikolaj Bojanczyk |
| 2023 | Formalizing π4(S Axel Ljungström, Anders Mörtberg |
| 2023 | From Thin Concurrent Games to Generalized Species of Structures. Pierre Clairambault, Federico Olimpieri, Hugo Paquet |
| 2023 | Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
| 2023 | Group Separation Strikes Back. Thomas Place, Marc Zeitoun |
| 2023 | Higher-Dimensional Subdiagram Matching. Amar Hadzihasanovic, Diana Kessler |
| 2023 | Intuitionistic S4 is decidable. Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger |
| 2023 | Logic for Explainable AI. Adnan Darwiche |
| 2023 | Making Concurrency Functional. Glynn Winskel |
| 2023 | Minimization of Dynamical Systems over Monoids. Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2023 | Multiplicity Problems on Algebraic Series and Context-Free Grammars. Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell |
| 2023 | On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. Tobias Winkler, Joost-Pieter Katoen |
| 2023 | On Exact Sampling in the Two-Variable Fragment of First-Order Logic. Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondrej Kuzelka |
| 2023 | On the Growth Rates of Polyregular Functions. Mikolaj Bojanczyk |
| 2023 | Operational Algorithmic Game Semantics. Benedict Bunting, Andrzej S. Murawski |
| 2023 | Orbit-finite linear programming. Arka Ghosh, Piotr Hofman, Slawomir Lasota |
| 2023 | PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. Diego Figueira, Santiago Figueira, Edwin Pin Baque |
| 2023 | Pseudorandom Finite Models. Jan Dreier, Jamie Tucker-Foltz |
| 2023 | Quantifying Over Trees in Monadic Second-Order Logic. Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2023 | Reachability in Injective Piecewise Affine Maps. Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine |
| 2023 | Revisiting Membership Problems in Subclasses of Rational Relations. Pascal Bergsträßer, Moses Ganardi |
| 2023 | Semi-Simplicial Set Models for Distributed Knowledge. Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum |
| 2023 | Set-Theoretic and Type-Theoretic Ordinals Coincide. Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
| 2023 | Simulating Logspace-Recursion with Logarithmic Quantifier Depth. Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus |
| 2023 | Stochastic Best-Effort Strategies for Borel Goals. Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2023 | Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger |
| 2023 | Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF. Johannes Klaus Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak |
| 2023 | Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing. Libor Barto, Bertalan Bodor, Marcin Kozik, Antoine Mottet, Michael Pinsker |
| 2023 | Taylor Expansion as a Monad in Models of DiLL. Marie Kerjean, Jean-Simon Pacaud Lemay |
| 2023 | The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete). Laure Daviaud, David Purser |
| 2023 | The Cartesian Closed Bicategory of Thin Spans of Groupoids. Pierre Clairambault, Simon Forest |
| 2023 | The Descriptive Complexity of Graph Neural Networks. Martin Grohe |
| 2023 | The Identity Problem in the special affine group of Z Ruiwen Dong |
| 2023 | The Iteration Number of the Weisfeiler-Leman Algorithm. Martin Grohe, Moritz Lichter, Daniel Neuen |
| 2023 | The Logic of Prefixes and Suffixes is Elementary under Homogeneity Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2023 | The Power of Positivity. Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell |
| 2023 | The Probabilistic Rabin Tree Theorem Damian Niwinski, Pawel Parys, Michal Skrzypczak |
| 2023 | Verifying linear temporal specifications of constant-rate multi-mode systems. Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan |
| 2023 | Weak Similarity in Higher-Order Mathematical Operational Semantics. Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder |
| 2023 | ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton |
| 2023 | ℤ-polyregular functions. Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez |