Table of Contents

• Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical RelationsVincent Moreau 0001, Lê Thành Dung Nguyên. [doi]
• Semantic Bounds and Multi Types, RevisitedBeniamino Accattoli. [doi]
• The Ackermann Award 2023Maribel Fernández, Jean Goubault-Larrecq, Delia Kesner. [doi]
• Expressivity Landscape for Logics with Probabilistic Interventionist CounterfactualsFausto Barbero, Jonni Virtema. [doi]
• A Many-Sorted Epistemic Logic for Chromatic HypergraphsÉric Goubault, Roman Kniazev, Jérémy Ledent. [doi]
• Towards Univalent Reference Types: The Impact of Univalence on Denotational SemanticsJonathan Sterling, Daniel Gratzer, Lars Birkedal. [doi]
• Front Matter, Table of Contents, Preface, Conference Organization [doi]
• Confluence of Conditional Rewriting ModuloSalvador Lucas. [doi]
• The Kleene-Post and Post's Theorem in the Calculus of Inductive ConstructionsYannick Forster 0002, Dominik Kirst, Niklas Mück. [doi]
• Artificial Intelligence and Artificial Ignorance (Invited Talk)Georg Gottlob. [doi]
• Energy Games over Totally Ordered GroupsAlexander Kozachinskiy. [doi]
• A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order LogicThomas Place, Marc Zeitoun. [doi]
• Enumerating Error Bounded Polytime Algorithms Through Arithmetical TheoriesMelissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone. [doi]
• Promise and Infinite-Domain Constraint SatisfactionAntoine Mottet. [doi]
• Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk)Balder ten Cate. [doi]
• Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and TreewidthEva Fluck, Tim Seppelt, Gian Luca Spitzer. [doi]
• Quantifiers Closed Under Partial PolymorphismsAnuj Dawar, Lauri Hella. [doi]
• Conservativity of Type Theory over Higher-Order ArithmeticDaniël Otten, Benno van den Berg. [doi]
• Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism IndistinguishabilityMoritz Lichter, Benedikt Pago, Tim Seppelt. [doi]
• Coherence by Normalization for Linear Multicategorical StructuresFederico Olimpieri. [doi]
• The Worst-Case Complexity of Symmetric Strategy ImprovementTom van Dijk, Georg Loho, Matthew T. Maat. [doi]
• Ehrenfeucht-Fraïssé Games in Semiring SemanticsSophie Brinke, Erich Grädel, Lovro Mrkonjic. [doi]
• A First Order Theory of Diagram ChasingAssia Mahboubi, Matthieu Piquerez. [doi]
• Approximating Fixpoints of Approximated Functions (Invited Talk)Barbara König 0001. [doi]
• Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful ProgramsDavide Barbarossa, Paolo Pistone. [doi]
• Active Learning of Deterministic Transducers with Outputs in Arbitrary MonoidsQuentin Aristote. [doi]
• Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational SemanticsAnupam Das 0002, Iris van der Giessen, Sonia Marin. [doi]
• Infinitary Cut-Elimination via Finite ApproximationsMatteo Acclavio, Gianluca Curzi, Giulio Guerrieri. [doi]
• Realizability Models for Large CardinalsLaura Fontanella, Guillaume Geoffroy, Richard Matthews. [doi]
• Reverse Tangent CategoriesGeoff S. H. Cruttwell, Jean-Simon Pacaud Lemay. [doi]
• Guarded Hybrid Team LogicsMarius Tritschler. [doi]
• Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable StructuresLuisa Herrmann 0001, Vincent Peth, Sebastian Rudolph. [doi]
• From Local to Global Optimality in Concurrent Parity GamesBenjamin Bordais, Patricia Bouyer, Stéphane Le Roux 0001. [doi]
• A General Constructive Form of Higman's LemmaStefano Berardi, Gabriele Buriola, Peter Schuster 0001. [doi]
• Logical Algorithmics: From Theory to Practice (Invited Talk)Moshe Y. Vardi. [doi]
• Extensions and Limits of the Specker-Blatter TheoremEldar Fischer, Johann A. Makowsky. [doi]
• Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic ArithmeticSatoshi Nakata. [doi]
• Remarks on Parikh-Recognizable Omega-languagesMario Grobler, Leif Sabellek, Sebastian Siebertz. [doi]
• Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk)Marta Kwiatkowska. [doi]
• QLTL Model-CheckingFrançois Laroussinie, Loriane Leclercq, Arnaud Sangnier. [doi]
• Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and PrecisionManon Blanc, Olivier Bournez. [doi]
• Quantum Circuit Completeness: Extensions and SimplificationsAlexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart. [doi]
• Extending the WMSO+U Logic with Quantification over TuplesAnita Badyl, Pawel Parys. [doi]
• A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested CalculusPhilippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti. [doi]
• Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff GamesJulian Gutierrez 0001, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge. [doi]
• Descriptive Complexity for Neural Networks via Boolean NetworksVeeti Ahvonen, Damian Heiman, Antti Kuusisto. [doi]
• What Monads Can and Cannot Do with a Bit of Extra TimeRasmus Ejlers Møgelberg, Maaike Zwart. [doi]
• The Produoidal Algebra of Process DecompositionMatt Earnshaw, James Hefford, Mario Román. [doi]
• Concurrent Stochastic Lossy Channel GamesDaniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla. [doi]