| 2016 | Minimizing Regret in Discounted-Sum Games. | Paul Hunter, Guillermo A. Prez, Jean-Franois Raskin |
| 2016 | Dependence Logic vs. Constraint Satisfaction. | Lauri Hella, Phokion G. Kolaitis |
| 2016 | Counting in Team Semantics. | Erich Grdel, Stefan Hegselmann |
| 2016 | On the Parallel Complexity of Bisimulation on Finite Systems. | Moses Ganardi, Stefan Gller, Markus Lohrey |
| 2016 | The Seifert-van Kampen Theorem in Homotopy Type Theory. | Kuen-Bang Hou (Favonia), Michael Shulman |
| 2016 | Completeness for Coalgebraic Fixpoint Logic. | Sebastian Enqvist, Fatemeh Seifan, Yde Venema |
| 2016 | Context-Free Graph Properties via Definable Decompositions. | Michael Elberfeld |
| 2016 | Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs. | Kord Eickmeyer, Ken-ichi Kawarabayashi |
| 2016 | The Directed Homotopy Hypothesis. | Jrmy Dubut, Eric Goubault, Jean Goubault-Larrecq |
| 2016 | The Ackermann Award 2016. | Thierry Coquand, Anuj Dawar |
| 2016 | Analytic Calculi for Non-Classical Logics: Theory and Applications. | Agata Ciabattoni |
| 2016 | Quantified Constraint Satisfaction on Monoids. | Hubie Chen, Peter Mayr |
| 2016 | The Relational Model Is Injective for Multiplicative Exponential Linear Logic. | Daniel de Carvalho |
| 2016 | Guarded Cubical Type Theory: Path Equality for Guarded Recursion. | Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi |
| 2016 | Extracting Non-Deterministic Concurrent Programs. | Ulrich Berger |
| 2016 | Infinite Domain Constraint Satisfaction Problem. | Libor Barto |
| 2016 | Semantics for "Enough-Certainty" and Fitting's Embedding of Classical Logic in S4. | Gergei Bana, Mitsuhiro Okada |
| 2016 | Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic. | Patrick Baillot, Anupam Das |
| 2016 | A Sequent Calculus for a Modal Logic on Finite Data Trees. | David Baelde, Simon Lunel, Sylvain Schmitz |
| 2016 | Infinitary Proof Theory: the Multiplicative Additive Case. | David Baelde, Amina Doumane, Alexis Saurin |
| 2016 | Non-Homogenizable Classes of Finite Structures. | Albert Atserias, Szymon Torunczyk |
| 2016 | Hedging Bets in Markov Decision Processes. | Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania |
| 2016 | Extending Homotopy Type Theory with Strict Equality. | Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus |
| 2016 | High-Quality Synthesis Against Stochastic Environments. | Shaull Almagor, Orna Kupferman |
| 2016 | AC Dependency Pairs Revisited. | Akihisa Yamada, Christian Sternagel, Ren Thiemann, Keiichirou Kusakari |