| 2015 | 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, Berlin, Germany, September 7-10, 2015 Stephan Kreutzer |
| 2015 | A Coalgebraic Decision Procedure for WS1S. Dmitriy Traytel |
| 2015 | A Definability Dichotomy for Finite Valued CSPs. Anuj Dawar, Pengming Wang |
| 2015 | A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2015 | A Model for Behavioural Properties of Higher-order Programs. Sylvain Salvati, Igor Walukiewicz |
| 2015 | A Unified Approach to Boundedness Properties in MSO. Lukasz Kaiser, Martin Lang, Simon Leßenich, Christof Löding |
| 2015 | A Van Benthem Theorem for Modal Team Semantics. Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer |
| 2015 | Aperiodic Two-way Transducers and FO-Transductions. Olivier Carton, Luc Dartois |
| 2015 | Automata Theoretic Account of Proof Search. Aleksy Schubert, Wil Dekkers, Hendrik Pieter Barendregt |
| 2015 | Axiomatizing Propositional Dependence Logics. Katsuhiko Sano, Jonni Virtema |
| 2015 | Binding Forms in First-Order Logic. Fabio Mogavero, Giuseppe Perelli |
| 2015 | Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness. Stefano Berardi |
| 2015 | Confluence of Layered Rewrite Systems. Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa |
| 2015 | Contextuality, Cohomology and Paradox. Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield |
| 2015 | Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction. Karoliina Lehtinen, Sandra Quickert |
| 2015 | Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. Matthias Baaz, Christian G. Fermüller |
| 2015 | Evidence for Fixpoint Logic. Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse |
| 2015 | Finite-Degree Predicates and Two-Variable First-Order Logic. Charles Paperman |
| 2015 | First-Order Queries on Finite Abelian Groups. Simone Bova, Barnaby Martin |
| 2015 | Front Matter, Table of Contents, Preface, Conference Organisation, External Reviewers. |
| 2015 | Functions out of Higher Truncations. Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi |
| 2015 | Infinite and Bi-infinite Words with Decidable Monadic Theories. Dietrich Kuske, Jiamou Liu, Anastasia Moskvina |
| 2015 | Least and Greatest Fixed Points in Ludics. David Baelde, Amina Doumane, Alexis Saurin |
| 2015 | Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan |
| 2015 | Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata. Filip Mazowiecki, Cristian Riveros |
| 2015 | Modelling Coeffects in the Relational Semantics of Linear Logic. Flavien Breuvart, Michele Pagani |
| 2015 | On Classical PCF, Linear Logic and the MIX Rule. Shahin Amini, Thomas Erhard |
| 2015 | On Relative and Probabilistic Finite Counterability. Orna Kupferman, Gal Vardi |
| 2015 | On Unambiguous Regular Tree Languages of Index (0, 2). Jacques Duparc, Kevin Fournier, Szczepan Hummel |
| 2015 | Rank Logic is Dead, Long Live Rank Logic!. Erich Grädel, Wied Pakusa |
| 2015 | Reachability Analysis of First-order Definable Pushdown Systems. Lorenzo Clemente, Slawomir Lasota |
| 2015 | Relational Semantics of Linear Logic and Higher-order Model Checking. Charles Grellois, Paul-André Melliès |
| 2015 | Simple Parsimonious Types and Logarithmic Space. Damiano Mazza |
| 2015 | Static Analysis for Logic-based Dynamic Programs. Thomas Schwentick, Nils Vortmeier, Thomas Zeume |
| 2015 | Sub-classical Boolean Bunched Logics and the Meaning of Par. James Brotherston, Jules Villard |
| 2015 | Temporal Logics with Local Constraints (Invited Talk). Claudia Carapelle, Markus Lohrey |
| 2015 | The Ackermann Award 2015. Anuj Dawar, Dexter Kozen, Simona Ronchi Della Rocca |
| 2015 | The Prophecy of Timely Rollback (Invited Talk). Martín Abadi |
| 2015 | Thinking Algorithmically About Impossibility (Invited Talk). R. Ryan Williams |
| 2015 | Tree Grammars for the Elimination of Non-prenex Cuts. Stefan Hetzl, Sebastian Zivota |
| 2015 | Two-Restricted One Context Unification is in Polynomial Time. Adrià Gascón, Manfred Schmidt-Schauß, Ashish Tiwari |
| 2015 | Two-variable Logic with Counting and a Linear Order. Witold Charatonik, Piotr Witkowski |
| 2015 | Uniform One-Dimensional Fragments with One Equivalence Relation. Emanuel Kieronski, Antti Kuusisto |
| 2015 | Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability. Thomas Brihaye, Véronique Bruyère, Noémie Meunier, Jean-François Raskin |
| 2015 | What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead. Felix Klein, Martin Zimmermann |