| 2016 | Descriptive Complexity of #AC | Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer |
| 2015 | Front Matter, Table of Contents, Preface, Conference Organisation, External Reviewers. | |
| 2015 | Thinking Algorithmically About Impossibility (Invited Talk). | R. Ryan Williams |
| 2015 | A Coalgebraic Decision Procedure for WS1S. | Dmitriy Traytel |
| 2015 | Static Analysis for Logic-based Dynamic Programs. | Thomas Schwentick, Nils Vortmeier, Thomas Zeume |
| 2015 | Automata Theoretic Account of Proof Search. | Aleksy Schubert, Wil Dekkers, Hendrik Pieter Barendregt |
| 2015 | Axiomatizing Propositional Dependence Logics. | Katsuhiko Sano, Jonni Virtema |
| 2015 | A Model for Behavioural Properties of Higher-order Programs. | Sylvain Salvati, Igor Walukiewicz |
| 2015 | Finite-Degree Predicates and Two-Variable First-Order Logic. | Charles Paperman |
| 2015 | A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. | Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2015 | Binding Forms in First-Order Logic. | Fabio Mogavero, Giuseppe Perelli |
| 2015 | Simple Parsimonious Types and Logarithmic Space. | Damiano Mazza |
| 2015 | Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata. | Filip Mazowiecki, Cristian Riveros |
| 2015 | Confluence of Layered Rewrite Systems. | Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa |
| 2015 | Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction. | Karoliina Lehtinen, Sandra Quickert |
| 2015 | Infinite and Bi-infinite Words with Decidable Monadic Theories. | Dietrich Kuske, Jiamou Liu, Anastasia Moskvina |
| 2015 | On Relative and Probabilistic Finite Counterability. | Orna Kupferman, Gal Vardi |
| 2015 | A Van Benthem Theorem for Modal Team Semantics. | Juha Kontinen, Julian-Steffen Mller, Henning Schnoor, Heribert Vollmer |
| 2015 | What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead. | Felix Klein, Martin Zimmermann |
| 2015 | Uniform One-Dimensional Fragments with One Equivalence Relation. | Emanuel Kieronski, Antti Kuusisto |
| 2015 | A Unified Approach to Boundedness Properties in MSO. | Lukasz Kaiser, Martin Lang, Simon Leenich, Christof Lding |
| 2015 | Tree Grammars for the Elimination of Non-prenex Cuts. | Stefan Hetzl, Sebastian Zivota |
| 2015 | Relational Semantics of Linear Logic and Higher-order Model Checking. | Charles Grellois, Paul-Andr Mellis |
| 2015 | Rank Logic is Dead, Long Live Rank Logic!. | Erich Grdel, Wied Pakusa |
| 2015 | Two-Restricted One Context Unification is in Polynomial Time. | Adri Gascn, Manfred Schmidt-Schau, Ashish Tiwari |