| 2016 | 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, Marseille, France, August 29 - September 1, 2016 Jean-Marc Talbot, Laurent Regnier |
| 2016 | A Sequent Calculus for a Modal Logic on Finite Data Trees. David Baelde, Simon Lunel, Sylvain Schmitz |
| 2016 | AC Dependency Pairs Revisited. Akihisa Yamada, Christian Sternagel, René Thiemann, Keiichirou Kusakari |
| 2016 | Analytic Calculi for Non-Classical Logics: Theory and Applications. Agata Ciabattoni |
| 2016 | Automated Synthesis: Going Distributed. Anca Muscholl |
| 2016 | Axiomatizations for Propositional and Modal Team Logic. Martin Lück |
| 2016 | Axioms for Modelling Cubical Type Theory in a Topos. Ian Orton, Andrew M. Pitts |
| 2016 | Bar Recursion in Classical Realisability: Dependent Choice and Continuum Hypothesis. Jean-Louis Krivine |
| 2016 | Coalgebraic Learning. Alexandra Silva |
| 2016 | Completeness for Coalgebraic Fixpoint Logic. Sebastian Enqvist, Fatemeh Seifan, Yde Venema |
| 2016 | Context-Free Graph Properties via Definable Decompositions. Michael Elberfeld |
| 2016 | Counting in Team Semantics. Erich Grädel, Stefan Hegselmann |
| 2016 | Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time. Wied Pakusa, Svenja Schalthöfer, Erkal Selman |
| 2016 | Dependence Logic vs. Constraint Satisfaction. Lauri Hella, Phokion G. Kolaitis |
| 2016 | Descriptive Complexity of #AC Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer |
| 2016 | Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. Alexander Weinert, Martin Zimmermann |
| 2016 | Extending Homotopy Type Theory with Strict Equality. Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus |
| 2016 | Extracting Non-Deterministic Concurrent Programs. Ulrich Berger |
| 2016 | Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic. Patrick Baillot, Anupam Das |
| 2016 | Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers. |
| 2016 | Guarded Cubical Type Theory: Path Equality for Guarded Recursion. Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi |
| 2016 | Hedging Bets in Markov Decision Processes. Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania |
| 2016 | High-Quality Synthesis Against Stochastic Environments. Shaull Almagor, Orna Kupferman |
| 2016 | Infinitary Proof Theory: the Multiplicative Additive Case. David Baelde, Amina Doumane, Alexis Saurin |
| 2016 | Infinite Domain Constraint Satisfaction Problem. Libor Barto |
| 2016 | Minimizing Regret in Discounted-Sum Games. Paul Hunter, Guillermo A. Pérez, Jean-François Raskin |
| 2016 | Models of Lambda-Calculus and the Weak MSO Logic. Pawel Parys, Szymon Torunczyk |
| 2016 | Monadic Second Order Finite Satisfiability and Unbounded Tree-Width. Tomer Kotek, Helmut Veith, Florian Zuleger |
| 2016 | Non-Homogenizable Classes of Finite Structures. Albert Atserias, Szymon Torunczyk |
| 2016 | On the Parallel Complexity of Bisimulation on Finite Systems. Moses Ganardi, Stefan Göller, Markus Lohrey |
| 2016 | One-Dimensional Logic over Words. Emanuel Kieronski |
| 2016 | Polymorphic Game Semantics for Dynamic Binding. James Laird |
| 2016 | Quantified Constraint Satisfaction on Monoids. Hubie Chen, Peter Mayr |
| 2016 | Quine's Fluted Fragment is Non-Elementary. Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera |
| 2016 | Robust Linear Temporal Logic. Paulo Tabuada, Daniel Neider |
| 2016 | Semantics for "Enough-Certainty" and Fitting's Embedding of Classical Logic in S4. Gergei Bana, Mitsuhiro Okada |
| 2016 | Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs. Kord Eickmeyer, Ken-ichi Kawarabayashi |
| 2016 | The Ackermann Award 2016. Thierry Coquand, Anuj Dawar |
| 2016 | The Directed Homotopy Hypothesis. Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq |
| 2016 | The Height of Piecewise-Testable Languages with Applications in Logical Complexity. Prateek Karandikar, Philippe Schnoebelen |
| 2016 | The Logical Strength of Büchi's Decidability Theorem. Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak |
| 2016 | The Matrix Ring of a μ-Continuous Chomsky Algebra is mu-Continuous. Hans Leiss |
| 2016 | The Relational Model Is Injective for Multiplicative Exponential Linear Logic. Daniel de Carvalho |
| 2016 | The Seifert-van Kampen Theorem in Homotopy Type Theory. Kuen-Bang Hou (Favonia), Michael Shulman |