CSL 2017 August 20-24, 2017 - Stockholm, Sweden

26th EACSL Annual Conference on Computer Science Logic (CSL 2017)



Valentin Goranko and Mads Dam (Eds.)
ISBN 978-3-95977-045-3, LIPICS Vol. 82 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 22 MB)
Search Publication Server


Authors
  • Łełyk, Mateusz
  • Abu Zaid, Faried
  • Ahrens, Benedikt
  • Aler Tubella, Andrea
  • Angluin, Dana
  • Antonopoulos, Timos
  • Bednarczyk, Bartosz
  • Boker, Udi
  • Borlido, Célia
  • Boudou, Joseph
  • Bresolin, Davide
  • Carton, Olivier
  • Charatonik, Witold
  • Chatterjee, Krishnendu
  • Chen, Yijia
  • Cheney, James
  • Cockett, Robin
  • Czarnetzki, Silke
  • Dam, Mads
  • Dawar, Anuj
  • de Brecht, Matthew
  • de Oliveira Oliveira, Mateus
  • de Visme, Marc
  • Diéguez, Martín
  • Dvorák, Wolfgang
  • Escardó, Martín H.
  • Fernández-Duque, David
  • Finkel, Olivier
  • Fisman, Dana
  • Flum, Jörg
  • Fokkink, Wan
  • Gérard, Ulysse
  • Gehrke, Mai
  • Ghica, Dan R.
  • Goranko, Valentin
  • Gouveia, Maria Joăo
  • Grädel, Erich
  • Grußien, Berit
  • Guglielmi, Alessio
  • Hannula, Miika
  • Henzinger, Monika
  • Horcík, Rostislav
  • Huang, Xuangui
  • Jung, Achim
  • Kieronski, Emanuel
  • Klin, Bartek
  • Knapp, Cory M.
  • Kolaitis, Phokion G.
  • Kovács, Laura
  • Krebs, Andreas
  • Kreutzer, Stephan
  • Lück, Martin
  • Lecomte, Dominique
  • Leivant, Daniel
  • Lemay, Jean-Simon
  • Loitzenbauer, Veronika
  • Lopez, Aliaume
  • Lumsdaine, Peter LeFanu
  • Mahajan, Meena
  • Miller, Dale
  • Moraschini, Tommaso
  • Muńoz-Velasco, Emilio
  • Muroya, Koko
  • Pago, Benedikt
  • Pakusa, Wied
  • Pauly, Arno
  • Pavaux, Alice
  • Ralph, Benjamin
  • Reinhardt, Frederic
  • Ricciotti, Wilmer
  • Sammartino, Matteo
  • Sankaran, Abhisekh
  • Santocanale, Luigi
  • Sciavicco, Guido
  • Silva, Alexandra
  • Thomas, Wolfgang
  • van Glabbeek, Rob J.
  • van Heerdt, Gerco
  • Vaux, Lionel
  • Veanes, Margus
  • Verbitsky, Oleg
  • Vidal, Amanda
  • Voevodsky, Vladimir
  • Winskel, Glynn
  • Zhukovskii, Maksim

  •   
    Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers
    Authors: Goranko, Valentin ; Dam, Mads

    Abstract | Document (321 KB) | BibTeX

    The Ackermann Award 2017
    Authors: Dawar, Anuj ; Leivant, Daniel

    Abstract | Document (265 KB) | BibTeX

    Schema Mappings: Structural Properties and Limits (Invited Talk)
    Authors: Kolaitis, Phokion G.

    Abstract | Document (227 KB) | BibTeX

    First-Order Interpolation and Grey Areas of Proofs (Invited Talk)
    Authors: Kovács, Laura

    Abstract | Document (239 KB) | BibTeX

    Current Trends and New Perspectives for First-Order Model Checking (Invited Talk)
    Authors: Kreutzer, Stephan

    Abstract | Document (357 KB) | BibTeX

    Arithmetic Circuits: An Overview (Invited Talk)
    Authors: Mahajan, Meena

    Abstract | Document (243 KB) | BibTeX

    Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk)
    Authors: Thomas, Wolfgang

    Abstract | Document (203 KB) | BibTeX

    Symbolic Automata Theory with Applications (Invited Talk)
    Authors: Veanes, Margus

    Abstract | Document (238 KB) | BibTeX

    Categorical Structures for Type Theory in Univalent Foundations
    Authors: Ahrens, Benedikt ; Lumsdaine, Peter LeFanu ; Voevodsky, Vladimir

    Abstract | Document (544 KB) | BibTeX

    Removing Cycles from Proofs
    Authors: Aler Tubella, Andrea ; Guglielmi, Alessio ; Ralph, Benjamin

    Abstract | Document (562 KB) | BibTeX

    Query Learning of Derived Omega-Tree Languages in Polynomial Time
    Authors: Angluin, Dana ; Antonopoulos, Timos ; Fisman, Dana

    Abstract | Document (4,405 KB) | BibTeX

    Extending Two-Variable Logic on Trees
    Authors: Bednarczyk, Bartosz ; Charatonik, Witold ; Kieronski, Emanuel

    Abstract | Document (615 KB) | BibTeX

    On the (In)Succinctness of Muller Automata
    Authors: Boker, Udi

    Abstract | Document (520 KB) | BibTeX

    Stone Duality and the Substitution Principle
    Authors: Borlido, Célia ; Czarnetzki, Silke ; Gehrke, Mai ; Krebs, Andreas

    Abstract | Document (586 KB) | BibTeX

    A Decidable Intuitionistic Temporal Logic
    Authors: Boudou, Joseph ; Diéguez, Martín ; Fernández-Duque, David

    Abstract | Document (569 KB) | BibTeX

    Decidable Logics with Associative Binary Modalities
    Authors: Boudou, Joseph

    Abstract | Document (579 KB) | BibTeX

    Noetherian Quasi-Polish spaces
    Authors: de Brecht, Matthew ; Pauly, Arno

    Abstract | Document (574 KB) | BibTeX

    Fast(er) Reasoning in Interval Temporal Logic
    Authors: Bresolin, Davide ; Muńoz-Velasco, Emilio ; Sciavicco, Guido

    Abstract | Document (577 KB) | BibTeX

    Improved Set-Based Symbolic Algorithms for Parity Games
    Authors: Chatterjee, Krishnendu ; Dvorák, Wolfgang ; Henzinger, Monika ; Loitzenbauer, Veronika

    Abstract | Document (694 KB) | BibTeX

    Slicewise Definability in First-Order Logic with Bounded Quantifier Rank
    Authors: Chen, Yijia ; Flum, Jörg ; Huang, Xuangui

    Abstract | Document (577 KB) | BibTeX

    Integral Categories and Calculus Categories
    Authors: Cockett, Robin ; Lemay, Jean-Simon

    Abstract | Document (557 KB) | BibTeX

    Partial Elements and Recursion via Dominances in Univalent Type Theory
    Authors: Escardó, Martín H. ; Knapp, Cory M.

    Abstract | Document (443 KB) | BibTeX

    Polishness of Some Topologies Related to Automata
    Authors: Carton, Olivier ; Finkel, Olivier ; Lecomte, Dominique

    Abstract | Document (457 KB) | BibTeX

    Separating Functional Computation from Relations
    Authors: Gérard, Ulysse ; Miller, Dale

    Abstract | Document (516 KB) | BibTeX

    Diagrammatic Semantics for Digital Circuits
    Authors: Ghica, Dan R. ; Jung, Achim ; Lopez, Aliaume

    Abstract | Document (741 KB) | BibTeX

    Precongruence Formats with Lookahead through Modal Decomposition
    Authors: Fokkink, Wan ; van Glabbeek, Rob J.

    Abstract | Document (522 KB) | BibTeX

    Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
    Authors: Grußien, Berit

    Abstract | Document (650 KB) | BibTeX

    The Model-Theoretic Expressiveness of Propositional Proof Systems
    Authors: Grädel, Erich ; Pago, Benedikt ; Pakusa, Wied

    Abstract | Document (551 KB) | BibTeX

    Validity and Entailment in Modal and Propositional Dependence Logics
    Authors: Hannula, Miika

    Abstract | Document (586 KB) | BibTeX

    CALF: Categorical Automata Learning Framework
    Authors: van Heerdt, Gerco ; Sammartino, Matteo ; Silva, Alexandra

    Abstract | Document (667 KB) | BibTeX

    Modal mu-Calculus with Atoms
    Authors: Klin, Bartek ; Łełyk, Mateusz

    Abstract | Document (518 KB) | BibTeX

    The Power of the Filtration Technique for Modal Logics with Team Semantics
    Authors: Lück, Martin

    Abstract | Document (638 KB) | BibTeX

    The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter
    Authors: Muroya, Koko ; Ghica, Dan R.

    Abstract | Document (619 KB) | BibTeX

    On Supergraphs Satisfying CMSO Properties
    Authors: de Oliveira Oliveira, Mateus

    Abstract | Document (557 KB) | BibTeX

    Inductive and Functional Types in Ludics
    Authors: Pavaux, Alice

    Abstract | Document (665 KB) | BibTeX

    Advice Automatic Structures and Uniformly Automatic Classes
    Authors: Abu Zaid, Faried ; Grädel, Erich ; Reinhardt, Frederic

    Abstract | Document (572 KB) | BibTeX

    Strongly Normalizing Audited Computation
    Authors: Ricciotti, Wilmer ; Cheney, James

    Abstract | Document (739 KB) | BibTeX

    A Finitary Analogue of the Downward Löwenheim-Skolem Property
    Authors: Sankaran, Abhisekh

    Abstract | Document (647 KB) | BibTeX

    Aleph1 and the Modal mu-Calculus
    Authors: Gouveia, Maria Joăo ; Santocanale, Luigi

    Abstract | Document (668 KB) | BibTeX

    Taylor Expansion, lambda-Reduction and Normalization
    Authors: Vaux, Lionel

    Abstract | Document (595 KB) | BibTeX

    On the First-Order Complexity of Induced Subgraph Isomorphism
    Authors: Verbitsky, Oleg ; Zhukovskii, Maksim

    Abstract | Document (529 KB) | BibTeX

    Strategies with Parallel Causes
    Authors: de Visme, Marc ; Winskel, Glynn

    Abstract | Document (572 KB) | BibTeX

    An Algebraic Approach to Valued Constraint Satisfaction
    Authors: Horcík, Rostislav ; Moraschini, Tommaso ; Vidal, Amanda

    Abstract | Document (605 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI