LIPIcs, Volume 216, CSL 2022

• Florin Manea and Alex Simpson LIPIcs, Volume 216, CSL 2022, Complete Volume 10.4230/LIPIcs.CSL.2022
• Florin Manea and Alex Simpson Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.CSL.2022.0
• Udi Boker Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk) 10.4230/LIPIcs.CSL.2022.1
• Natasha Fernandes, Annabelle McIver, and Carroll Morgan How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk) 10.4230/LIPIcs.CSL.2022.2
• Antonio Abu Nassar and Shaull Almagor Simulation by Rounds of Letter-To-Letter Transducers 10.4230/LIPIcs.CSL.2022.3
• Beniamino Accattoli and Maico Leberle Useful Open Call-By-Need 10.4230/LIPIcs.CSL.2022.4
• Martin Baillon, Assia Mahboubi, and Pierre-Marie Pédrot Gardening with the Pythia A Model of Continuity in a Dependent Setting 10.4230/LIPIcs.CSL.2022.5
• Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, and Jean-Marc Talbot Weighted Automata and Expressions over Pre-Rational Monoids 10.4230/LIPIcs.CSL.2022.6
• Benjamin Bordais, Patricia Bouyer, and Stéphane Le Roux Optimal Strategies in Concurrent Reachability Games 10.4230/LIPIcs.CSL.2022.7
• Patricia Bouyer, Stéphane Le Roux, and Nathan Thomasset Finite-Memory Strategies in Two-Player Infinite Games 10.4230/LIPIcs.CSL.2022.8
• Matthew de Brecht Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals 10.4230/LIPIcs.CSL.2022.9
• Léonard Brice, Jean-François Raskin, and Marie van den Bogaard On the Complexity of SPEs in Parity Games 10.4230/LIPIcs.CSL.2022.10
• Guillaume Brunerie, Axel Ljungström, and Anders Mörtberg Synthetic Integral Cohomology in Cubical Agda 10.4230/LIPIcs.CSL.2022.11
• Antonio Casares On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions 10.4230/LIPIcs.CSL.2022.12
• Davide Castelnovo and Marino Miculan Fuzzy Algebraic Theories 10.4230/LIPIcs.CSL.2022.13
• Liang-Ting Chen and Hsiang-Shang Ko Realising Intensional S4 and GL Modalities 10.4230/LIPIcs.CSL.2022.14
• Carmen Constantin, Nuiok Dicaire, and Chris Heunen Localisable Monads 10.4230/LIPIcs.CSL.2022.15
• Fredrik Dahlqvist and Renato Neves An Internal Language for Categories Enriched over Generalised Metric Spaces 10.4230/LIPIcs.CSL.2022.16
• Anuj Dawar and Abhisekh Sankaran MSO Undecidability for Hereditary Classes of Unbounded Clique Width 10.4230/LIPIcs.CSL.2022.17
• Andrej Dudenhefner Constructive Many-One Reduction from the Halting Problem to Semi-Unification 10.4230/LIPIcs.CSL.2022.18
• David Fernández-Duque and Yoàv Montacute Dynamic Cantor Derivative Logic 10.4230/LIPIcs.CSL.2022.19
• Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, and Ernst-Rüdiger Olderog Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory 10.4230/LIPIcs.CSL.2022.20
• Dana Fisman, Hadar Frenkel, and Sandra Zilles Inferring Symbolic Automata 10.4230/LIPIcs.CSL.2022.21
• Jakub Gajarský, Maximilian Gorsky, and Stephan Kreutzer Differential Games, Locality, and Model Checking for FO Logic of Graphs 10.4230/LIPIcs.CSL.2022.22
• Emile Hazard and Denis Kuperberg Cyclic Proofs for Transfinite Expressions 10.4230/LIPIcs.CSL.2022.23
• Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, and Jeffrey Shallit Decidability for Sturmian Words 10.4230/LIPIcs.CSL.2022.24
• Guilhem Jaber and Davide Sangiorgi Games, Mobile Processes, and Functions 10.4230/LIPIcs.CSL.2022.25
• Paulin Jacobé de Naurois Parallelism in Soft Linear Logic 10.4230/LIPIcs.CSL.2022.26
• Delia Kesner and Andrés Viso Encoding Tight Typing in a Unified Framework 10.4230/LIPIcs.CSL.2022.27
• András Kovács Generalized Universe Hierarchies and First-Class Universe Levels 10.4230/LIPIcs.CSL.2022.28
• Clemens Kupke, Johannes Marti, and Yde Venema Succinct Graph Representations of μ-Calculus Formulas 10.4230/LIPIcs.CSL.2022.29
• Yoshiki Nakamura Spatial Existential Positive Logics for Hyperedge Replacement Grammars 10.4230/LIPIcs.CSL.2022.30
• Jaroslav Nešetřil, Patrice Ossona de Mendez, and Sebastian Siebertz Structural Properties of the First-Order Transduction Quasiorder 10.4230/LIPIcs.CSL.2022.31
• Lê Thành Dũng (Tito) Nguyễn and Lutz Straßburger BV and Pomset Logic Are Not the Same 10.4230/LIPIcs.CSL.2022.32
• Guillermo A. Pérez and Ritam Raha Revisiting Parameter Synthesis for One-Counter Automata 10.4230/LIPIcs.CSL.2022.33
• Nicole Schirrmacher, Sebastian Siebertz, and Alexandre Vigny First-Order Logic with Connectivity Operators 10.4230/LIPIcs.CSL.2022.34
• Haruka Tomita Planar Realizability via Left and Right Applications 10.4230/LIPIcs.CSL.2022.35
• Jacobo Torán and Florian Wörz Number of Variables for Graph Differentiation and the Resolution of GI Formulas 10.4230/LIPIcs.CSL.2022.36
• Gonzague Yernaux and Wim Vanhoof Anti-Unification of Unordered Goals 10.4230/LIPIcs.CSL.2022.37