CSL 2021 January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)

29th EACSL Annual Conference on Computer Science Logic (CSL 2021)



Christel Baier and Jean Goubault-Larrecq (Eds.)
ISBN 978-3-95977-175-7, LIPICS Vol. 183 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 20 MB)
Search Publication Server

Authors
  • Abramsky, Samson
  • Accattoli, Beniamino
  • Aceto, Luca
  • Achilleos, Antonis
  • Arnold, André
  • Baier, Christel
  • Barbosa, Rui Soares
  • Bickford, Mark
  • Boker, Udi
  • Bollig, Benedikt
  • Broda, Sabine
  • Castiglioni, Valentina
  • Cohen, Liron
  • Colcombet, Thomas
  • Conghaile, Adam Ó
  • Constable, Robert L.
  • Dannert, Katrin M.
  • Dawar, Anuj
  • de Jong, Tom
  • Di Lavore, Elena
  • Dinis, Bruno
  • Echenim, Mnacho
  • Escardó, Martín Hötzel
  • Faggian, Claudia
  • Fokkink, Wan
  • Forster, Yannick
  • Francalanza, Adrian
  • Gaßner, Christine
  • Geoffroy, Guillaume
  • Göttlinger, Merlin
  • Goubault-Larrecq, Jean
  • Grädel, Erich
  • Guerrieri, Giulio
  • Hannula, Miika
  • Hedges, Jules
  • Hefetz, Guy
  • Heijltjes, Willem B.
  • Hoffmann, Jan
  • Ingólfsdóttir, Anna
  • Iosif, Radu
  • Klin, Bartek
  • Kobayashi, Naoki
  • Kontinen, Juha
  • Kori, Mayuko
  • Lehtinen, Karoliina
  • Lichter, Moritz
  • Lopez, Aliaume
  • Lück, Martin
  • Luttik, Bas
  • Mahboubi, Assia
  • Miquey, Étienne
  • Naaf, Matthias
  • Niwiński, Damian
  • Olimpieri, Federico
  • Pago, Benedikt
  • Parys, Paweł
  • Pattinson, Dirk
  • Paulus, Joseph W.N.
  • Pauly, Arno
  • Peltier, Nicolas
  • Petrişan, Daniela
  • Pham, Long
  • Pistone, Paolo
  • Rabinovich, Alexander
  • Rahli, Vincent
  • Ryabinin, Fedor
  • Sangnier, Arnaud
  • Sankaran, Abhisekh
  • Schmitz, Sylvain
  • Schnoebelen, Philippe
  • Schröder, Lutz
  • Schweikardt, Nicole
  • Schweitzer, Pascal
  • Sobociński, Paweł
  • Stabile, Riccardo
  • Steinberg, Florian
  • Tannen, Val
  • Tiferet, Doron
  • Tomita, Haruka
  • Tranchini, Luca
  • Tsukada, Takeshi
  • van Bergerem, Steffen
  • Virtema, Jonni
  • Westrick, Linda
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Baier, Christel ; Goubault-Larrecq, Jean

    Abstract | Document (368 KB) | BibTeX

    μ-Calculi with Atoms (Invited Talk)
    Authors: Klin, Bartek

    Abstract | Document (185 KB) | BibTeX

    Mathematical Structures in Dependent Type Theory (Invited Talk)
    Authors: Mahboubi, Assia

    Abstract | Document (265 KB) | BibTeX

    Branching in Well-Structured Transition Systems (Invited Talk)
    Authors: Schmitz, Sylvain

    Abstract | Document (296 KB) | BibTeX

    Borel Sets in Reverse Mathematics (Invited Talk)
    Authors: Westrick, Linda

    Abstract | Document (291 KB) | BibTeX

    The Logic of Contextuality
    Authors: Abramsky, Samson ; Barbosa, Rui Soares

    Abstract | Document (608 KB) | BibTeX

    Factorize Factorization
    Authors: Accattoli, Beniamino ; Faggian, Claudia ; Guerrieri, Giulio

    Abstract | Document (686 KB) | BibTeX

    The Best a Monitor Can Do
    Authors: Aceto, Luca ; Achilleos, Antonis ; Francalanza, Adrian ; Ingólfsdóttir, Anna ; Lehtinen, Karoliina

    Abstract | Document (724 KB) | BibTeX

    Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
    Authors: Aceto, Luca ; Castiglioni, Valentina ; Fokkink, Wan ; Ingólfsdóttir, Anna ; Luttik, Bas

    Abstract | Document (487 KB) | BibTeX

    A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation
    Authors: Arnold, André ; Niwiński, Damian ; Parys, Paweł

    Abstract | Document (645 KB) | BibTeX

    Learning Concepts Described By Weight Aggregation Logic
    Authors: van Bergerem, Steffen ; Schweikardt, Nicole

    Abstract | Document (695 KB) | BibTeX

    Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle
    Authors: Bickford, Mark ; Cohen, Liron ; Constable, Robert L. ; Rahli, Vincent

    Abstract | Document (760 KB) | BibTeX

    Discounted-Sum Automata with Multiple Discount Factors
    Authors: Boker, Udi ; Hefetz, Guy

    Abstract | Document (523 KB) | BibTeX

    Reachability in Distributed Memory Automata
    Authors: Bollig, Benedikt ; Ryabinin, Fedor ; Sangnier, Arnaud

    Abstract | Document (644 KB) | BibTeX

    Pregrammars and Intersection Types
    Authors: Broda, Sabine

    Abstract | Document (601 KB) | BibTeX

    Learning Automata and Transducers: A Categorical Approach
    Authors: Colcombet, Thomas ; Petrişan, Daniela ; Stabile, Riccardo

    Abstract | Document (646 KB) | BibTeX

    Game Comonads & Generalised Quantifiers
    Authors: Conghaile, Adam Ó ; Dawar, Anuj

    Abstract | Document (611 KB) | BibTeX

    Semiring Provenance for Fixed-Point Logic
    Authors: Dannert, Katrin M. ; Grädel, Erich ; Naaf, Matthias ; Tannen, Val

    Abstract | Document (575 KB) | BibTeX

    Extension Preservation in the Finite and Prefix Classes of First Order Logic
    Authors: Dawar, Anuj ; Sankaran, Abhisekh

    Abstract | Document (454 KB) | BibTeX

    Realizability with Stateful Computations for Nonstandard Analysis
    Authors: Dinis, Bruno ; Miquey, Étienne

    Abstract | Document (683 KB) | BibTeX

    Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment
    Authors: Echenim, Mnacho ; Iosif, Radu ; Peltier, Nicolas

    Abstract | Document (642 KB) | BibTeX

    Church’s Thesis and Related Axioms in Coq’s Type Theory
    Authors: Forster, Yannick

    Abstract | Document (641 KB) | BibTeX

    Computing Measure as a Primitive Operation in Real Number Computation
    Authors: Gaßner, Christine ; Pauly, Arno ; Steinberg, Florian

    Abstract | Document (661 KB) | BibTeX

    A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations
    Authors: Geoffroy, Guillaume ; Pistone, Paolo

    Abstract | Document (596 KB) | BibTeX

    A Deep Quantitative Type System
    Authors: Guerrieri, Giulio ; Heijltjes, Willem B. ; Paulus, Joseph W.N.

    Abstract | Document (641 KB) | BibTeX

    Categorifying Non-Idempotent Intersection Types
    Authors: Guerrieri, Giulio ; Olimpieri, Federico

    Abstract | Document (678 KB) | BibTeX

    The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies
    Authors: Göttlinger, Merlin ; Schröder, Lutz ; Pattinson, Dirk

    Abstract | Document (625 KB) | BibTeX

    On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic
    Authors: Hannula, Miika ; Kontinen, Juha ; Lück, Martin ; Virtema, Jonni

    Abstract | Document (644 KB) | BibTeX

    Domain Theory in Constructive and Predicative Univalent Foundations
    Authors: de Jong, Tom ; Escardó, Martín Hötzel

    Abstract | Document (585 KB) | BibTeX

    A Cyclic Proof System for HFL_ℕ
    Authors: Kori, Mayuko ; Tsukada, Takeshi ; Kobayashi, Naoki

    Abstract | Document (602 KB) | BibTeX

    Compositional Modelling of Network Games
    Authors: Di Lavore, Elena ; Hedges, Jules ; Sobociński, Paweł

    Abstract | Document (646 KB) | BibTeX

    Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time
    Authors: Lichter, Moritz ; Schweitzer, Pascal

    Abstract | Document (600 KB) | BibTeX

    Preservation Theorems Through the Lens of Topology
    Authors: Lopez, Aliaume

    Abstract | Document (567 KB) | BibTeX

    Choiceless Computation and Symmetry: Limitations of Definability
    Authors: Pago, Benedikt

    Abstract | Document (526 KB) | BibTeX

    Typable Fragments of Polynomial Automatic Amortized Resource Analysis
    Authors: Pham, Long ; Hoffmann, Jan

    Abstract | Document (596 KB) | BibTeX

    The Yoneda Reduction of Polymorphic Types
    Authors: Pistone, Paolo ; Tranchini, Luca

    Abstract | Document (677 KB) | BibTeX

    Degrees of Ambiguity for Parity Tree Automata
    Authors: Rabinovich, Alexander ; Tiferet, Doron

    Abstract | Document (568 KB) | BibTeX

    On Flat Lossy Channel Machines
    Authors: Schnoebelen, Philippe

    Abstract | Document (630 KB) | BibTeX

    Realizability Without Symmetry
    Authors: Tomita, Haruka

    Abstract | Document (508 KB) | BibTeX

    		  



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