CSL 2022 February 14-19, 2022, Göttingen, Germany (Virtual Conference)

30th EACSL Annual Conference on Computer Science Logic (CSL 2022)



Florin Manea and Alex Simpson (Eds.)
ISBN 978-3-95977-218-1, LIPICS Vol. 216 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 13 MB)
Search Publication Server

Authors
  • Abu Nassar, Antonio
  • Accattoli, Beniamino
  • Almagor, Shaull
  • Baillon, Martin
  • Baudru, Nicolas
  • Boker, Udi
  • Bordais, Benjamin
  • Bouyer, Patricia
  • Brice, Léonard
  • Brunerie, Guillaume
  • Casares, Antonio
  • Castelnovo, Davide
  • Chen, Liang-Ting
  • Constantin, Carmen
  • Dahlqvist, Fredrik
  • Dando, Louis-Marie
  • Dawar, Anuj
  • de Brecht, Matthew
  • Dicaire, Nuiok
  • Dudenhefner, Andrej
  • Fernandes, Natasha
  • Fernández-Duque, David
  • Finkbeiner, Bernd
  • Fisman, Dana
  • Frenkel, Hadar
  • Gajarský, Jakub
  • Gieseking, Manuel
  • Gorsky, Maximilian
  • Hazard, Emile
  • Hecking-Harbusch, Jesko
  • Heunen, Chris
  • Hieronymi, Philipp
  • Jaber, Guilhem
  • Jacobé de Naurois, Paulin
  • Kesner, Delia
  • Ko, Hsiang-Shang
  • Kovács, András
  • Kreutzer, Stephan
  • Kuperberg, Denis
  • Kupke, Clemens
  • Leberle, Maico
  • Le Roux, Stéphane
  • Lhote, Nathan
  • Ljungström, Axel
  • Ma, Dun
  • Mahboubi, Assia
  • Manea, Florin
  • Marti, Johannes
  • McIver, Annabelle
  • Miculan, Marino
  • Monmege, Benjamin
  • Montacute, Yoàv
  • Morgan, Carroll
  • Mörtberg, Anders
  • Nakamura, Yoshiki
  • Nešetřil, Jaroslav
  • Neves, Renato
  • Nguyễn, Lê Thành Dũng (Tito)
  • Oei, Reed
  • Olderog, Ernst-Rüdiger
  • Ossona de Mendez, Patrice
  • Pédrot, Pierre-Marie
  • Pérez, Guillermo A.
  • Raha, Ritam
  • Raskin, Jean-François
  • Reynier, Pierre-Alain
  • Sangiorgi, Davide
  • Sankaran, Abhisekh
  • Schaeffer, Luke
  • Schirrmacher, Nicole
  • Schulz, Christian
  • Shallit, Jeffrey
  • Siebertz, Sebastian
  • Simpson, Alex
  • Straßburger, Lutz
  • Talbot, Jean-Marc
  • Thomasset, Nathan
  • Tomita, Haruka
  • Torán, Jacobo
  • van den Bogaard, Marie
  • Vanhoof, Wim
  • Venema, Yde
  • Vigny, Alexandre
  • Viso, Andrés
  • Wörz, Florian
  • Yernaux, Gonzague
  • Zilles, Sandra
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Manea, Florin ; Simpson, Alex

    Abstract | Document (524 KB) | BibTeX

    Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk)
    Authors: Boker, Udi

    Abstract | Document (712 KB) | BibTeX

    How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk)
    Authors: Fernandes, Natasha ; McIver, Annabelle ; Morgan, Carroll

    Abstract | Document (1,888 KB) | BibTeX

    Simulation by Rounds of Letter-To-Letter Transducers
    Authors: Abu Nassar, Antonio ; Almagor, Shaull

    Abstract | Document (862 KB) | BibTeX

    Useful Open Call-By-Need
    Authors: Accattoli, Beniamino ; Leberle, Maico

    Abstract | Document (847 KB) | BibTeX

    Gardening with the Pythia A Model of Continuity in a Dependent Setting
    Authors: Baillon, Martin ; Mahboubi, Assia ; Pédrot, Pierre-Marie

    Abstract | Document (812 KB) | BibTeX

    Weighted Automata and Expressions over Pre-Rational Monoids
    Authors: Baudru, Nicolas ; Dando, Louis-Marie ; Lhote, Nathan ; Monmege, Benjamin ; Reynier, Pierre-Alain ; Talbot, Jean-Marc

    Abstract | Document (749 KB) | BibTeX

    Optimal Strategies in Concurrent Reachability Games
    Authors: Bordais, Benjamin ; Bouyer, Patricia ; Le Roux, Stéphane

    Abstract | Document (1,112 KB) | BibTeX

    Finite-Memory Strategies in Two-Player Infinite Games
    Authors: Bouyer, Patricia ; Le Roux, Stéphane ; Thomasset, Nathan

    Abstract | Document (687 KB) | BibTeX

    Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals
    Authors: de Brecht, Matthew

    Abstract | Document (651 KB) | BibTeX

    On the Complexity of SPEs in Parity Games
    Authors: Brice, Léonard ; Raskin, Jean-François ; van den Bogaard, Marie

    Abstract | Document (805 KB) | BibTeX

    Synthetic Integral Cohomology in Cubical Agda
    Authors: Brunerie, Guillaume ; Ljungström, Axel ; Mörtberg, Anders

    Abstract | Document (880 KB) | BibTeX

    On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions
    Authors: Casares, Antonio

    Abstract | Document (867 KB) | BibTeX

    Fuzzy Algebraic Theories
    Authors: Castelnovo, Davide ; Miculan, Marino

    Abstract | Document (906 KB) | BibTeX

    Realising Intensional S4 and GL Modalities
    Authors: Chen, Liang-Ting ; Ko, Hsiang-Shang

    Abstract | Document (878 KB) | BibTeX

    Localisable Monads
    Authors: Constantin, Carmen ; Dicaire, Nuiok ; Heunen, Chris

    Abstract | Document (784 KB) | BibTeX

    An Internal Language for Categories Enriched over Generalised Metric Spaces
    Authors: Dahlqvist, Fredrik ; Neves, Renato

    Abstract | Document (792 KB) | BibTeX

    MSO Undecidability for Hereditary Classes of Unbounded Clique Width
    Authors: Dawar, Anuj ; Sankaran, Abhisekh

    Abstract | Document (779 KB) | BibTeX

    Constructive Many-One Reduction from the Halting Problem to Semi-Unification
    Authors: Dudenhefner, Andrej

    Abstract | Document (817 KB) | BibTeX

    Dynamic Cantor Derivative Logic
    Authors: Fernández-Duque, David ; Montacute, Yoàv

    Abstract | Document (742 KB) | BibTeX

    Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory
    Authors: Finkbeiner, Bernd ; Gieseking, Manuel ; Hecking-Harbusch, Jesko ; Olderog, Ernst-Rüdiger

    Abstract | Document (803 KB) | BibTeX

    Inferring Symbolic Automata
    Authors: Fisman, Dana ; Frenkel, Hadar ; Zilles, Sandra

    Abstract | Document (1,516 KB) | BibTeX

    Differential Games, Locality, and Model Checking for FO Logic of Graphs
    Authors: Gajarský, Jakub ; Gorsky, Maximilian ; Kreutzer, Stephan

    Abstract | Document (729 KB) | BibTeX

    Cyclic Proofs for Transfinite Expressions
    Authors: Hazard, Emile ; Kuperberg, Denis

    Abstract | Document (818 KB) | BibTeX

    Decidability for Sturmian Words
    Authors: Hieronymi, Philipp ; Ma, Dun ; Oei, Reed ; Schaeffer, Luke ; Schulz, Christian ; Shallit, Jeffrey

    Abstract | Document (904 KB) | BibTeX

    Games, Mobile Processes, and Functions
    Authors: Jaber, Guilhem ; Sangiorgi, Davide

    Abstract | Document (701 KB) | BibTeX

    Parallelism in Soft Linear Logic
    Authors: Jacobé de Naurois, Paulin

    Abstract | Document (669 KB) | BibTeX

    Encoding Tight Typing in a Unified Framework
    Authors: Kesner, Delia ; Viso, Andrés

    Abstract | Document (899 KB) | BibTeX

    Generalized Universe Hierarchies and First-Class Universe Levels
    Authors: Kovács, András

    Abstract | Document (781 KB) | BibTeX

    Succinct Graph Representations of μ-Calculus Formulas
    Authors: Kupke, Clemens ; Marti, Johannes ; Venema, Yde

    Abstract | Document (855 KB) | BibTeX

    Spatial Existential Positive Logics for Hyperedge Replacement Grammars
    Authors: Nakamura, Yoshiki

    Abstract | Document (929 KB) | BibTeX

    Structural Properties of the First-Order Transduction Quasiorder
    Authors: Nešetřil, Jaroslav ; Ossona de Mendez, Patrice ; Siebertz, Sebastian

    Abstract | Document (1,113 KB) | BibTeX

    BV and Pomset Logic Are Not the Same
    Authors: Nguyễn, Lê Thành Dũng (Tito) ; Straßburger, Lutz

    Abstract | Document (874 KB) | BibTeX

    Revisiting Parameter Synthesis for One-Counter Automata
    Authors: Pérez, Guillermo A. ; Raha, Ritam

    Abstract | Document (902 KB) | BibTeX

    First-Order Logic with Connectivity Operators
    Authors: Schirrmacher, Nicole ; Siebertz, Sebastian ; Vigny, Alexandre

    Abstract | Document (752 KB) | BibTeX

    Planar Realizability via Left and Right Applications
    Authors: Tomita, Haruka

    Abstract | Document (681 KB) | BibTeX

    Number of Variables for Graph Differentiation and the Resolution of GI Formulas
    Authors: Torán, Jacobo ; Wörz, Florian

    Abstract | Document (823 KB) | BibTeX

    Anti-Unification of Unordered Goals
    Authors: Yernaux, Gonzague ; Vanhoof, Wim

    Abstract | Document (780 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI