CSL 2015 September 7–10, 2015 - Berlin, Germany

24th EACSL Annual Conference on Computer Science Logic (CSL 2015)



Stephan Kreutzer (Ed.)
ISBN 978-3-939897-90-3, LIPICS Vol. 41 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 21 MB)
Search Publication Server


Authors
  • Abadi, Martín
  • Abramsky, Samson
  • Amini, Shahin
  • Baaz, Matthias
  • Baelde, David
  • Barendregt, Henk P.
  • Berardi, Stefano
  • Bova, Simone
  • Breuvart, Flavien
  • Brihaye, Thomas
  • Brotherston, James
  • Bruyère, Véronique
  • Capriotti, Paolo
  • Carapelle, Claudia
  • Carton, Olivier
  • Charatonik, Witold
  • Clemente, Lorenzo
  • Cranen, Sjoerd
  • Dartois, Luc
  • Dawar, Anuj
  • Dekkers, Wil
  • Doumane, Amina
  • Duparc, Jacques
  • Erhard, Thomas
  • Fermüller, Christian G.
  • Fournier, Kevin
  • Gabbay, Murdoch J.
  • Gascón, Adrià
  • Ghica, Dan R.
  • Grädel, Erich
  • Grellois, Charles
  • Hetzl, Stefan
  • Hummel, Szczepan
  • Jouannaud, Jean-Pierre
  • Kaiser, Lukasz
  • Kierónski, Emanuel
  • Kishida, Kohei
  • Klein, Felix
  • Kontinen, Juha
  • Kozen, Dexter
  • Kraus, Nicolai
  • Kreutzer, Stephan
  • Kupferman, Orna
  • Kuske, Dietrich
  • Kuusisto, Antti
  • Löding, Christof
  • Lal, Raymond
  • Lang, Martin
  • Lasota, Slawomir
  • Leßenich, Simon
  • Lehtinen, Karoliina
  • Liu, Jiamou
  • Liu, Jiaxiang
  • Lohrey, Markus
  • Luttik, Bas
  • Müller, Julian-Steffen
  • Mansfield, Shane
  • Martin, Barnaby
  • Mazowiecki, Filip
  • Mazza, Damiano
  • Melliès, Paul-André
  • Meunier, Noémie
  • Mogavero, Fabio
  • Molinari, Alberto
  • Montanari, Angelo
  • Moskvina, Anastasia
  • Ogawa, Mizuhito
  • Pagani, Michele
  • Pakusa, Wied
  • Paperman, Charles
  • Perelli, Giuseppe
  • Peron, Adriano
  • Petrisan, Daniela
  • Quickert, Sandra
  • Raskin, Jean-Francois
  • Riveros, Cristian
  • Ronchi Della Rocca, Simona
  • Salvati, Sylvain
  • Sano, Katsuhiko
  • Saurin, Alexis
  • Schmidt-Schauß, Manfred
  • Schnoor, Henning
  • Schubert, Aleksy
  • Schwentick, Thomas
  • Soares Barbosa, Rui
  • Tiwari, Ashish
  • Traytel, Dmitriy
  • Vardi, Gal
  • Vezzosi, Andrea
  • Villard, Jules
  • Virtema, Jonni
  • Vollmer, Heribert
  • Vortmeier, Nils
  • Walukiewicz, Igor
  • Wang, Pengming
  • Willemse, Tim A. C.
  • Williams, R. Ryan
  • Witkowski, Piotr
  • Zeume, Thomas
  • Zimmermann, Martin
  • Zivota, Sebastian

  •   
    Front Matter, Table of Contents, Preface, Conference Organisation, External Reviewers
    Authors: Kreutzer, Stephan

    Abstract | Document (349 KB) | BibTeX

    The Ackermann Award 2015
    Authors: Dawar, Anuj ; Kozen, Dexter ; Ronchi Della Rocca, Simona

    Abstract | Document (247 KB) | BibTeX

    The Prophecy of Timely Rollback (Invited Talk)
    Authors: Abadi, Martín

    Abstract | Document (234 KB) | BibTeX

    Temporal Logics with Local Constraints (Invited Talk)
    Authors: Carapelle, Claudia ; Lohrey, Markus

    Abstract | Document (500 KB) | BibTeX

    Thinking Algorithmically About Impossibility (Invited Talk)
    Authors: Williams, R. Ryan

    Abstract | Document (449 KB) | BibTeX

    Simple Parsimonious Types and Logarithmic Space
    Authors: Mazza, Damiano

    Abstract | Document (606 KB) | BibTeX

    First-Order Queries on Finite Abelian Groups
    Authors: Bova, Simone ; Martin, Barnaby

    Abstract | Document (528 KB) | BibTeX

    A Definability Dichotomy for Finite Valued CSPs
    Authors: Dawar, Anuj ; Wang, Pengming

    Abstract | Document (471 KB) | BibTeX

    Evidence for Fixpoint Logic
    Authors: Cranen, Sjoerd ; Luttik, Bas ; Willemse, Tim A. C.

    Abstract | Document (546 KB) | BibTeX

    Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic
    Authors: Baaz, Matthias ; Fermüller, Christian G.

    Abstract | Document (461 KB) | BibTeX

    Tree Grammars for the Elimination of Non-prenex Cuts
    Authors: Hetzl, Stefan ; Zivota, Sebastian

    Abstract | Document (461 KB) | BibTeX

    Automata Theoretic Account of Proof Search
    Authors: Schubert, Aleksy ; Dekkers, Wil ; Barendregt, Henk P.

    Abstract | Document (592 KB) | BibTeX

    Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata
    Authors: Mazowiecki, Filip ; Riveros, Cristian

    Abstract | Document (539 KB) | BibTeX

    Aperiodic Two-way Transducers and FO-Transductions
    Authors: Carton, Olivier ; Dartois, Luc

    Abstract | Document (461 KB) | BibTeX

    On Relative and Probabilistic Finite Counterability
    Authors: Kupferman, Orna ; Vardi, Gal

    Abstract | Document (465 KB) | BibTeX

    A Model Checking Procedure for Interval Temporal Logics based on Track Representatives
    Authors: Molinari, Alberto ; Montanari, Angelo ; Peron, Adriano

    Abstract | Document (683 KB) | BibTeX

    Contextuality, Cohomology and Paradox
    Authors: Abramsky, Samson ; Soares Barbosa, Rui ; Kishida, Kohei ; Lal, Raymond ; Mansfield, Shane

    Abstract | Document (559 KB) | BibTeX

    A Model for Behavioural Properties of Higher-order Programs
    Authors: Salvati, Sylvain ; Walukiewicz, Igor

    Abstract | Document (1,269 KB) | BibTeX

    Reachability Analysis of First-order Definable Pushdown Systems
    Authors: Clemente, Lorenzo ; Lasota, Slawomir

    Abstract | Document (522 KB) | BibTeX

    Relational Semantics of Linear Logic and Higher-order Model Checking
    Authors: Grellois, Charles ; Melliès, Paul-André

    Abstract | Document (556 KB) | BibTeX

    A Van Benthem Theorem for Modal Team Semantics
    Authors: Kontinen, Juha ; Müller, Julian-Steffen ; Schnoor, Henning ; Vollmer, Heribert

    Abstract | Document (503 KB) | BibTeX

    Axiomatizing Propositional Dependence Logics
    Authors: Sano, Katsuhiko ; Virtema, Jonni

    Abstract | Document (585 KB) | BibTeX

    Static Analysis for Logic-based Dynamic Programs
    Authors: Schwentick, Thomas ; Vortmeier, Nils ; Zeume, Thomas

    Abstract | Document (535 KB) | BibTeX

    Sub-classical Boolean Bunched Logics and the Meaning of Par
    Authors: Brotherston, James ; Villard, Jules

    Abstract | Document (521 KB) | BibTeX

    Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness
    Authors: Berardi, Stefano

    Abstract | Document (431 KB) | BibTeX

    Functions out of Higher Truncations
    Authors: Capriotti, Paolo ; Kraus, Nicolai ; Vezzosi, Andrea

    Abstract | Document (575 KB) | BibTeX

    Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes
    Authors: Gabbay, Murdoch J. ; Ghica, Dan R. ; Petrisan, Daniela

    Abstract | Document (513 KB) | BibTeX

    Rank Logic is Dead, Long Live Rank Logic!
    Authors: Grädel, Erich ; Pakusa, Wied

    Abstract | Document (484 KB) | BibTeX

    Two-Restricted One Context Unification is in Polynomial Time
    Authors: Gascón, Adrià ; Schmidt-Schauß, Manfred ; Tiwari, Ashish

    Abstract | Document (626 KB) | BibTeX

    Confluence of Layered Rewrite Systems
    Authors: Liu, Jiaxiang ; Jouannaud, Jean-Pierre ; Ogawa, Mizuhito

    Abstract | Document (549 KB) | BibTeX

    A Unified Approach to Boundedness Properties in MSO
    Authors: Kaiser, Lukasz ; Lang, Martin ; Leßenich, Simon ; Löding, Christof

    Abstract | Document (580 KB) | BibTeX

    Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction
    Authors: Lehtinen, Karoliina ; Quickert, Sandra

    Abstract | Document (487 KB) | BibTeX

    Infinite and Bi-infinite Words with Decidable Monadic Theories
    Authors: Kuske, Dietrich ; Liu, Jiamou ; Moskvina, Anastasia

    Abstract | Document (468 KB) | BibTeX

    A Coalgebraic Decision Procedure for WS1S
    Authors: Traytel, Dmitriy

    Abstract | Document (605 KB) | BibTeX

    Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability
    Authors: Brihaye, Thomas ; Bruyère, Véronique ; Meunier, Noémie ; Raskin, Jean-Francois

    Abstract | Document (540 KB) | BibTeX

    What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead
    Authors: Klein, Felix ; Zimmermann, Martin

    Abstract | Document (479 KB) | BibTeX

    On Unambiguous Regular Tree Languages of Index (0,2)
    Authors: Duparc, Jacques ; Fournier, Kevin ; Hummel, Szczepan

    Abstract | Document (1,351 KB) | BibTeX

    Least and Greatest Fixed Points in Ludics
    Authors: Baelde, David ; Doumane, Amina ; Saurin, Alexis

    Abstract | Document (657 KB) | BibTeX

    Modelling Coeffects in the Relational Semantics of Linear Logic
    Authors: Breuvart, Flavien ; Pagani, Michele

    Abstract | Document (600 KB) | BibTeX

    On Classical PCF, Linear Logic and the MIX Rule
    Authors: Amini, Shahin ; Erhard, Thomas

    Abstract | Document (579 KB) | BibTeX

    Uniform One-Dimensional Fragments with One Equivalence Relation
    Authors: Kierónski, Emanuel ; Kuusisto, Antti

    Abstract | Document (557 KB) | BibTeX

    Finite-Degree Predicates and Two-Variable First-Order Logic
    Authors: Paperman, Charles

    Abstract | Document (425 KB) | BibTeX

    Two-variable Logic with Counting and a Linear Order
    Authors: Charatonik, Witold ; Witkowski, Piotr

    Abstract | Document (680 KB) | BibTeX

    Binding Forms in First-Order Logic
    Authors: Mogavero, Fabio ; Perelli, Giuseppe

    Abstract | Document (642 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI