Abstract is missing.
- Constructing the Space of Valuations of a Quasi-Polish Space as a Space of IdealsMatthew de Brecht. [doi]
- Generalized Universe Hierarchies and First-Class Universe LevelsAndrás Kovács. [doi]
- Spatial Existential Positive Logics for Hyperedge Replacement GrammarsYoshiki Nakamura 0001. [doi]
- Localisable MonadsCarmen Constantin, Nuiok Dicaire, Chris Heunen. [doi]
- On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller ConditionsAntonio Casares. [doi]
- Games, Mobile Processes, and FunctionsGuilhem Jaber, Davide Sangiorgi. [doi]
- First-Order Logic with Connectivity OperatorsNicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny. [doi]
- Useful Open Call-By-NeedBeniamino Accattoli, Maico Leberle. [doi]
- Structural Properties of the First-Order Transduction QuasiorderJaroslav Nesetril, Patrice Ossona de Mendez, Sebastian Siebertz. [doi]
- Global Winning Conditions in Synthesis of Distributed Systems with Causal MemoryBernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog. [doi]
- Decidability for Sturmian WordsPhilipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz 0013, Jeffrey O. Shallit. [doi]
- Cyclic Proofs for Transfinite ExpressionsEmile Hazard, Denis Kuperberg. [doi]
- Anti-Unification of Unordered GoalsGonzague Yernaux, Wim Vanhoof. [doi]
- Realising Intensional S4 and GL ModalitiesLiang-Ting Chen, Hsiang-Shang Ko. [doi]
- Differential Games, Locality, and Model Checking for FO Logic of GraphsJakub Gajarský, Maximilian Gorsky, Stephan Kreutzer. [doi]
- Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk)Udi Boker. [doi]
- On the Complexity of SPEs in Parity GamesLéonard Brice, Jean-François Raskin, Marie van den Bogaard. [doi]
- BV and Pomset Logic Are Not the SameLê Thành Dung Nguyên, Lutz Straßburger. [doi]
- Revisiting Parameter Synthesis for One-Counter AutomataGuillermo A. Pérez 0001, Ritam Raha. [doi]
- MSO Undecidability for Hereditary Classes of Unbounded Clique WidthAnuj Dawar, Abhisekh Sankaran. [doi]
- Encoding Tight Typing in a Unified FrameworkDelia Kesner, Andrés Viso. [doi]
- Number of Variables for Graph Differentiation and the Resolution of GI FormulasJacobo Torán, Florian Wörz. [doi]
- Synthetic Integral Cohomology in Cubical AgdaGuillaume Brunerie, Axel Ljungström, Anders Mörtberg. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Parallelism in Soft Linear LogicPaulin Jacobé de Naurois. [doi]
- Fuzzy Algebraic TheoriesDavide Castelnovo, Marino Miculan. [doi]
- Optimal Strategies in Concurrent Reachability GamesBenjamin Bordais, Patricia Bouyer, Stéphane Le Roux 0001. [doi]
- An Internal Language for Categories Enriched over Generalised Metric SpacesFredrik Dahlqvist, Renato Neves. [doi]
- Simulation by Rounds of Letter-To-Letter TransducersAntonio Abu Nassar, Shaull Almagor. [doi]
- Constructive Many-One Reduction from the Halting Problem to Semi-UnificationAndrej Dudenhefner. [doi]
- Succinct Graph Representations of μ-Calculus FormulasClemens Kupke, Johannes Marti, Yde Venema. [doi]
- Finite-Memory Strategies in Two-Player Infinite GamesPatricia Bouyer, Stéphane Le Roux 0001, Nathan Thomasset. [doi]
- Gardening with the Pythia A Model of Continuity in a Dependent SettingMartin Baillon, Assia Mahboubi, Pierre-Marie Pédrot. [doi]
- Planar Realizability via Left and Right ApplicationsHaruka Tomita. [doi]
- Inferring Symbolic AutomataDana Fisman, Hadar Frenkel, Sandra Zilles. [doi]
- Weighted Automata and Expressions over Pre-Rational MonoidsNicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot. [doi]
- How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk)Natasha Fernandes, Annabelle McIver, Carroll Morgan. [doi]
- Dynamic Cantor Derivative LogicDavid Fernández Duque, Yoàv Montacute. [doi]