CSL 2020 January 13-16, 2020, Barcelona, Spain

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)



Maribel Fernández and Anca Muscholl (Eds.)
ISBN 978-3-95977-132-0, LIPICS Vol. 152 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 19 MB)
Search Publication Server

Authors
  • Acclavio, Matteo
  • Adámek, Jiří
  • Angluin, Dana
  • Antonopoulos, Timos
  • Barloy, Corentin
  • Bielous, Gili
  • Bonelli, Eduardo
  • Brunet, Paul
  • Buss, Sam
  • Cavallo, Evan
  • Chen, Yijia
  • Chouquet, Jules
  • Clouston, Ranald
  • Cockett, Robin
  • Cortier, Véronique
  • Cruttwell, Geoffrey
  • Das, Anupam
  • Dawar, Anuj
  • Demri, Stéphane
  • Espírito Santo, José
  • Fernández, Maribel
  • Ferrère, Thomas
  • Fijalkow, Nathanaël
  • Fisman, Dana
  • Flum, Jörg
  • Gallagher, Jonathan
  • Ganardi, Moses
  • Goré, Rajeev
  • Grädel, Erich
  • Grange, Julien
  • Guerrieri, Giulio
  • Harper, Robert
  • Henzinger, Thomas A.
  • Hoelzel, Matthias
  • Jeż, Artur
  • Kesner, Delia
  • Khoussainov, Bakhadyr
  • Knop, Alexander
  • Kokkinis, Ioannis
  • Kragl, Bernhard
  • Kupferman, Orna
  • Kupke, Clemens
  • Lemay, Jean-Simon Pacaud
  • Lhote, Nathan
  • Löding, Christof
  • Lozes, Etienne
  • Lucyshyn-Wright, Rory B. B.
  • Lyon, Tim
  • MacAdam, Benjamin
  • Maieli, Roberto
  • Mansutti, Alessio
  • Mascle, Corto
  • Mazowiecki, Filip
  • Miquey, Étienne
  • Moerman, Joshua
  • Mörtberg, Anders
  • Muscholl, Anca
  • Otto, Martin
  • Parys, Paweł
  • Passmann, Robert
  • Pauly, Arno
  • Pellissier, Luc
  • Plotkin, Gordon
  • Pronk, Dorette
  • Rot, Jurriaan
  • Schmidt, Jonas
  • Schwentick, Thomas
  • Segoufin, Luc
  • Seon, Dongseong
  • Swan, Andrew W
  • Tasson, Christine
  • Tiu, Alwen
  • Tollkötter, Andreas
  • Tortora de Falco, Lorenzo
  • Tzameret, Iddo
  • Viso, Andrés
  • Vortmeier, Nils
  • Wilke, Richard
  • Zeume, Thomas
  • Ziegler, Martin
  • Zimmermann, Martin
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Fernández, Maribel ; Muscholl, Anca

    Abstract | Document (366 KB) | BibTeX

    Verification of Security Protocols (Invited Talk)
    Authors: Cortier, Véronique

    Abstract | Document (233 KB) | BibTeX

    Symmetric Computation (Invited Talk)
    Authors: Dawar, Anuj

    Abstract | Document (441 KB) | BibTeX

    Solving Word Equations (And Other Unification Problems) by Recompression (Invited Talk)
    Authors: Jeż, Artur

    Abstract | Document (512 KB) | BibTeX

    Strong Bisimulation for Control Operators (Invited Talk)
    Authors: Kesner, Delia ; Bonelli, Eduardo ; Viso, Andrés

    Abstract | Document (687 KB) | BibTeX

    From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk)
    Authors: Tzameret, Iddo

    Abstract | Document (211 KB) | BibTeX

    Generalized Connectives for Multiplicative Linear Logic
    Authors: Acclavio, Matteo ; Maieli, Roberto

    Abstract | Document (588 KB) | BibTeX

    On Free Completely Iterative Algebras
    Authors: Adámek, Jiří

    Abstract | Document (489 KB) | BibTeX

    Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries
    Authors: Angluin, Dana ; Antonopoulos, Timos ; Fisman, Dana

    Abstract | Document (578 KB) | BibTeX

    A Robust Class of Linear Recurrence Sequences
    Authors: Barloy, Corentin ; Fijalkow, Nathanaël ; Lhote, Nathan ; Mazowiecki, Filip

    Abstract | Document (693 KB) | BibTeX

    Coverage and Vacuity in Network Formation Games
    Authors: Bielous, Gili ; Kupferman, Orna

    Abstract | Document (654 KB) | BibTeX

    A Complete Axiomatisation of a Fragment of Language Algebra
    Authors: Brunet, Paul

    Abstract | Document (440 KB) | BibTeX

    Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
    Authors: Buss, Sam ; Das, Anupam ; Knop, Alexander

    Abstract | Document (543 KB) | BibTeX

    Internal Parametricity for Cubical Type Theory
    Authors: Cavallo, Evan ; Harper, Robert

    Abstract | Document (680 KB) | BibTeX

    Unifying Cubical Models of Univalent Type Theory
    Authors: Cavallo, Evan ; Mörtberg, Anders ; Swan, Andrew W

    Abstract | Document (522 KB) | BibTeX

    FO-Definability of Shrub-Depth
    Authors: Chen, Yijia ; Flum, Jörg

    Abstract | Document (539 KB) | BibTeX

    Taylor expansion for Call-By-Push-Value
    Authors: Chouquet, Jules ; Tasson, Christine

    Abstract | Document (648 KB) | BibTeX

    Tangent Categories from the Coalgebras of Differential Categories
    Authors: Cockett, Robin ; Lemay, Jean-Simon Pacaud ; Lucyshyn-Wright, Rory B. B.

    Abstract | Document (612 KB) | BibTeX

    Reverse Derivative Categories
    Authors: Cockett, Robin ; Cruttwell, Geoffrey ; Gallagher, Jonathan ; Lemay, Jean-Simon Pacaud ; MacAdam, Benjamin ; Plotkin, Gordon ; Pronk, Dorette

    Abstract | Document (554 KB) | BibTeX

    Internal Calculi for Separation Logics
    Authors: Demri, Stéphane ; Lozes, Etienne ; Mansutti, Alessio

    Abstract | Document (750 KB) | BibTeX

    Monitoring Event Frequencies
    Authors: Ferrère, Thomas ; Henzinger, Thomas A. ; Kragl, Bernhard

    Abstract | Document (581 KB) | BibTeX

    Automatic Equivalence Structures of Polynomial Growth
    Authors: Ganardi, Moses ; Khoussainov, Bakhadyr

    Abstract | Document (514 KB) | BibTeX

    Guarded Teams: The Horizontally Guarded Case
    Authors: Grädel, Erich ; Otto, Martin

    Abstract | Document (506 KB) | BibTeX

    Order-Invariant First-Order Logic over Hollow Trees
    Authors: Grange, Julien ; Segoufin, Luc

    Abstract | Document (532 KB) | BibTeX

    Glueability of Resource Proof-Structures: Inverting the Taylor Expansion
    Authors: Guerrieri, Giulio ; Pellissier, Luc ; Tortora de Falco, Lorenzo

    Abstract | Document (893 KB) | BibTeX

    On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
    Authors: Hoelzel, Matthias ; Wilke, Richard

    Abstract | Document (563 KB) | BibTeX

    Expressive Logics for Coinductive Predicates
    Authors: Kupke, Clemens ; Rot, Jurriaan

    Abstract | Document (528 KB) | BibTeX

    State Space Reduction For Parity Automata
    Authors: Löding, Christof ; Tollkötter, Andreas

    Abstract | Document (534 KB) | BibTeX

    Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
    Authors: Lyon, Tim ; Tiu, Alwen ; Goré, Rajeev ; Clouston, Ranald

    Abstract | Document (586 KB) | BibTeX

    The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
    Authors: Mascle, Corto ; Zimmermann, Martin

    Abstract | Document (528 KB) | BibTeX

    Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models
    Authors: Miquey, Étienne

    Abstract | Document (610 KB) | BibTeX

    Separation and Renaming in Nominal Sets
    Authors: Moerman, Joshua ; Rot, Jurriaan

    Abstract | Document (515 KB) | BibTeX

    Parity Games: Another View on Lehtinen’s Algorithm
    Authors: Parys, Paweł

    Abstract | Document (490 KB) | BibTeX

    De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory
    Authors: Passmann, Robert

    Abstract | Document (520 KB) | BibTeX

    Computing Haar Measures
    Authors: Pauly, Arno ; Seon, Dongseong ; Ziegler, Martin

    Abstract | Document (735 KB) | BibTeX

    The Call-By-Value Lambda-Calculus with Generalized Applications
    Authors: Espírito Santo, José

    Abstract | Document (451 KB) | BibTeX

    Dynamic Complexity Meets Parameterised Algorithms
    Authors: Schmidt, Jonas ; Schwentick, Thomas ; Vortmeier, Nils ; Zeume, Thomas ; Kokkinis, Ioannis

    Abstract | Document (613 KB) | BibTeX

    Dynamic Complexity of Parity Exists Queries
    Authors: Vortmeier, Nils ; Zeume, Thomas

    Abstract | Document (592 KB) | BibTeX

    		  



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