| 2016 | Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes. | Dexter Kozen |
| 2016 | Invisible Pushdown Languages. | Eryk Kopczynski |
| 2016 | How unprovable is Rabin's decidability theorem? | Leszek Aleksander Kolodziejczyk, Henryk Michalewski |
| 2016 | Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic. | Sandra Kiefer, Pascal Schweitzer |
| 2016 | Distinguishing Hidden Markov Chains. | Stefan Kiefer, A. Prasad Sistla |
| 2016 | Quantifier Free Definability on Infinite Algebras. | Bakh Khoussainov |
| 2016 | Complexity Theory of (Functions on) Compact Metric Spaces. | Akitoshi Kawamura, Florian Steinberg, Martin Ziegler |
| 2016 | The Probabilistic Model Checking Landscape. | Joost-Pieter Katoen |
| 2016 | On Thin Air Reads Towards an Event Structures Model of Relaxed Memory. | Alan Jeffrey, James Riely |
| 2016 | Trace semantics for polymorphic references. | Guilhem Jaber, Nikos Tzevelekos |
| 2016 | The Definitional Side of the Forcing. | Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pdrot, Matthieu Sozeau, Nicolas Tabareau |
| 2016 | Conflict nets: Efficient locally canonical MALL proof nets. | Dominic J. D. Hughes, Willem Heijltjes |
| 2016 | Healthiness from Duality. | Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs |
| 2016 | Blockchains and the Logic of Accountability: Keynote Address. | Maurice Herlihy, Mark Moir |
| 2016 | Hanf normal form for first-order logic with unary counting quantifiers. | Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt |
| 2016 | Monadic second order logic as the model companion of temporal logic. | Silvio Ghilardi, Sam van Gool |
| 2016 | Duality in Computer Science. | Mai Gehrke |
| 2016 | Effective Brenier Theorem: Applications to Computable Analysis and Algorithmic Randomness. | Alex Galicki |
| 2016 | A New Perspective on FO Model Checking of Dense Graph Classes. | Jakub Gajarsk, Petr Hlinen, Jan Obdrzlek, Daniel Lokshtanov, M. S. Ramanujan |
| 2016 | A categorical approach to open and interconnected dynamical systems. | Brendan Fong, Pawel Sobocinski, Paolo Rapisarda |
| 2016 | Divide and Congruence II: Delay and Weak Bisimilarity. | Wan J. Fokkink, Rob J. van Glabbeek |
| 2016 | First-order definability of rational transductions: An algebraic approach. | Emmanuel Filiot, Olivier Gauwin, Nathan Lhote |
| 2016 | Semantically Acyclic Conjunctive Queries under Functional Dependencies. | Diego Figueira |
| 2016 | A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory. | Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine |
| 2016 | Proving Liveness of Parameterized Programs. | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |