CSL 2023 February 13-16, 2023, Warsaw, Poland

31st EACSL Annual Conference on Computer Science Logic (CSL 2023)



Bartek Klin and Elaine Pimentel (Eds.)
ISBN 978-3-95977-264-8, LIPICS Vol. 252 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 11 MB)
Search Publication Server

Authors
  • Afshari, Bahareh
  • Alvarez-Picallo, Mario
  • Baldan, Paolo
  • Barenbaum, Pablo
  • Barnawal, Ashish Kumar
  • Barrett, Chris
  • Bazhenov, Nikolay
  • Beohar, Harsh
  • Blanqui, Frédéric
  • Bonelli, Eduardo
  • Chardonnet, Kostia
  • Cîrstea, Corina
  • Cohen, Liron
  • Curzi, Gianluca
  • Dal Lago, Ugo
  • Das, Anupam
  • de Lacroix, Cédric
  • Eggert, Richard
  • Faggian, Claudia
  • Felicissimo, Thiago
  • Fisman, Dana
  • Forster, Jonas
  • Forster, Yannick
  • Freund, Teodoro
  • Gavazzo, Francesco
  • Ghica, Dan
  • Ghyselen, Alexis
  • Gierasimczuk, Nina
  • Goncharov, Sergey
  • Grange, Julien
  • Grogin, Joshua
  • Gurke, Sebastian
  • Hazard, Emile
  • Heijltjes, Willem
  • Hella, Lauri
  • Hofmann, Dirk
  • Jaakkola, Reijo
  • Jacobs, Bart
  • Jahn, Felix
  • Kalociński, Dariusz
  • Kara, Ahmet
  • Kirst, Dominik
  • Klin, Bartek
  • König, Barbara
  • Kuperberg, Denis
  • Kupke, Clemens
  • Kuusisto, Antti
  • Leigh, Graham E.
  • McCusker, Guy
  • Menéndez Turata, Guillermo
  • Messing, Karla
  • Miller, Dale
  • Nikolic, Milos
  • Nora, Pedro
  • Olteanu, Dan
  • Padoan, Tommaso
  • Pago, Benedikt
  • Peters, Benjamin
  • Pimentel, Elaine
  • Pratt-Hartmann, Ian
  • Rahli, Vincent
  • Sangiorgi, Davide
  • Santocanale, Luigi
  • Saurin, Alexis
  • Schröder, Lutz
  • Sprunger, David
  • Staniszewski, Konrad
  • Stein, Dario
  • Tanaka, Hiromi
  • Tendera, Lidia
  • Tschirbs, Felix
  • Valiron, Benoît
  • Vilmart, Renaud
  • Vortmeier, Nils
  • Weiss, Gera
  • Wild, Paul
  • Wilson, Paul
  • Wißmann, Thorsten
  • Wu, Jui-Hsuan
  • Zanasi, Fabio
  • Zeume, Thomas
  • Zhang, Haozhe
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Klin, Bartek ; Pimentel, Elaine

    Abstract | Document (582 KB) | BibTeX

    Asymptotic Rewriting (Invited Talk)
    Authors: Faggian, Claudia

    Abstract | Document (354 KB) | BibTeX

    Inductive Inference and Epistemic Modal Logic (Invited Talk)
    Authors: Gierasimczuk, Nina

    Abstract | Document (732 KB) | BibTeX

    A Positive Perspective on Term Representation (Invited Talk)
    Authors: Miller, Dale ; Wu, Jui-Hsuan

    Abstract | Document (845 KB) | BibTeX

    Enhanced Induction in Behavioural Relations (Invited Talk)
    Authors: Sangiorgi, Davide

    Abstract | Document (426 KB) | BibTeX

    A Cyclic Proof System for Full Computation Tree Logic
    Authors: Afshari, Bahareh ; Leigh, Graham E. ; Menéndez Turata, Guillermo

    Abstract | Document (764 KB) | BibTeX

    Functorial String Diagrams for Reverse-Mode Automatic Differentiation
    Authors: Alvarez-Picallo, Mario ; Ghica, Dan ; Sprunger, David ; Zanasi, Fabio

    Abstract | Document (978 KB) | BibTeX

    A Lattice-Theoretical View of Strategy Iteration
    Authors: Baldan, Paolo ; Eggert, Richard ; König, Barbara ; Padoan, Tommaso

    Abstract | Document (845 KB) | BibTeX

    Reductions in Higher-Order Rewriting and Their Equivalence
    Authors: Barenbaum, Pablo ; Bonelli, Eduardo

    Abstract | Document (764 KB) | BibTeX

    Proofs and Refutations for Intuitionistic and Second-Order Logic
    Authors: Barenbaum, Pablo ; Freund, Teodoro

    Abstract | Document (903 KB) | BibTeX

    The Functional Machine Calculus II: Semantics
    Authors: Barrett, Chris ; Heijltjes, Willem ; McCusker, Guy

    Abstract | Document (694 KB) | BibTeX

    Degree Spectra, and Relative Acceptability of Notations
    Authors: Bazhenov, Nikolay ; Kalociński, Dariusz

    Abstract | Document (841 KB) | BibTeX

    Hennessy-Milner Theorems via Galois Connections
    Authors: Beohar, Harsh ; Gurke, Sebastian ; König, Barbara ; Messing, Karla

    Abstract | Document (707 KB) | BibTeX

    A Curry-Howard Correspondence for Linear, Reversible Computation
    Authors: Chardonnet, Kostia ; Saurin, Alexis ; Valiron, Benoît

    Abstract | Document (912 KB) | BibTeX

    Measure-Theoretic Semantics for Quantitative Parity Automata
    Authors: Cîrstea, Corina ; Kupke, Clemens

    Abstract | Document (812 KB) | BibTeX

    Realizing Continuity Using Stateful Computations
    Authors: Cohen, Liron ; Rahli, Vincent

    Abstract | Document (1,086 KB) | BibTeX

    Non-Uniform Complexity via Non-Wellfounded Proofs
    Authors: Curzi, Gianluca ; Das, Anupam

    Abstract | Document (853 KB) | BibTeX

    Open Higher-Order Logic
    Authors: Dal Lago, Ugo ; Gavazzo, Francesco ; Ghyselen, Alexis

    Abstract | Document (874 KB) | BibTeX

    Frobenius Structures in Star-Autonomous Categories
    Authors: de Lacroix, Cédric ; Santocanale, Luigi

    Abstract | Document (1,304 KB) | BibTeX

    Translating Proofs from an Impredicative Type System to a Predicative One
    Authors: Felicissimo, Thiago ; Blanqui, Frédéric ; Barnawal, Ashish Kumar

    Abstract | Document (1,108 KB) | BibTeX

    A Normalized Edit Distance on Infinite Words
    Authors: Fisman, Dana ; Grogin, Joshua ; Weiss, Gera

    Abstract | Document (1,518 KB) | BibTeX

    Constructive and Synthetic Reducibility Degrees: Post’s Problem for Many-One and Truth-Table Reducibility in Coq
    Authors: Forster, Yannick ; Jahn, Felix

    Abstract | Document (928 KB) | BibTeX

    Quantitative Hennessy-Milner Theorems via Notions of Density
    Authors: Forster, Jonas ; Goncharov, Sergey ; Hofmann, Dirk ; Nora, Pedro ; Schröder, Lutz ; Wild, Paul

    Abstract | Document (816 KB) | BibTeX

    Order-Invariance in the Two-Variable Fragment of First-Order Logic
    Authors: Grange, Julien

    Abstract | Document (794 KB) | BibTeX

    Explorable Automata
    Authors: Hazard, Emile ; Kuperberg, Denis

    Abstract | Document (755 KB) | BibTeX

    The Expressive Power of CSP-Quantifiers
    Authors: Hella, Lauri

    Abstract | Document (852 KB) | BibTeX

    Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability
    Authors: Jaakkola, Reijo

    Abstract | Document (787 KB) | BibTeX

    Complexity Classifications via Algebraic Logic
    Authors: Jaakkola, Reijo ; Kuusisto, Antti

    Abstract | Document (825 KB) | BibTeX

    Counting and Matching
    Authors: Jacobs, Bart ; Stein, Dario

    Abstract | Document (698 KB) | BibTeX

    Evaluation Trade-Offs for Acyclic Conjunctive Queries
    Authors: Kara, Ahmet ; Nikolic, Milos ; Olteanu, Dan ; Zhang, Haozhe

    Abstract | Document (890 KB) | BibTeX

    Gödel’s Theorem Without Tears - Essential Incompleteness in Synthetic Computability
    Authors: Kirst, Dominik ; Peters, Benjamin

    Abstract | Document (732 KB) | BibTeX

    Finite Model Theory and Proof Complexity Revisited: Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus
    Authors: Pago, Benedikt

    Abstract | Document (808 KB) | BibTeX

    Adding Transitivity and Counting to the Fluted Fragment
    Authors: Pratt-Hartmann, Ian ; Tendera, Lidia

    Abstract | Document (818 KB) | BibTeX

    Parity Games of Bounded Tree-Depth
    Authors: Staniszewski, Konrad

    Abstract | Document (789 KB) | BibTeX

    Tower-Complete Problems in Contraction-Free Substructural Logics
    Authors: Tanaka, Hiromi

    Abstract | Document (1,009 KB) | BibTeX

    Dynamic Complexity of Regular Languages: Big Changes, Small Work
    Authors: Tschirbs, Felix ; Vortmeier, Nils ; Zeume, Thomas

    Abstract | Document (731 KB) | BibTeX

    Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation
    Authors: Vilmart, Renaud

    Abstract | Document (820 KB) | BibTeX

    String Diagrams for Non-Strict Monoidal Categories
    Authors: Wilson, Paul ; Ghica, Dan ; Zanasi, Fabio

    Abstract | Document (841 KB) | BibTeX

    Supported Sets - A New Foundation for Nominal Sets and Automata
    Authors: Wißmann, Thorsten

    Abstract | Document (866 KB) | BibTeX

    		  



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