| 2016 | Hybrid realizability for intuitionistic and classical choice. | Valentin Blot |
| 2016 | Understanding Gentzen and Frege Systems for QBF. | Olaf Beyersdorff, Jn Pich |
| 2016 | Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps. | Christoph Berkholz, Jakob Nordstrm |
| 2016 | Querying Visible and Invisible Information. | Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis |
| 2016 | A Step Up in Expressiveness of Decidable Fixpoint Logics. | Michael Benedikt, Pierre Bourhis, Michael Vanden Boom |
| 2016 | Stochastic mechanics of graph rewriting. | Nicolas Behr, Vincent Danos, Ilias Garnier |
| 2016 | Type Theory based on Dependent Inductive and Coinductive Types. | Henning Basold, Herman Geuvers |
| 2016 | The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems. | Libor Barto, Michael Pinsker |
| 2016 | Proving Differential Privacy via Probabilistic Couplings. | Gilles Barthe, Marco Gaboardi, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub |
| 2016 | The complexity of regular abstractions of one-counter languages. | Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche |
| 2016 | Data Communicating Processes with Unreliable Channels. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig |
| 2016 | Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. | Thomas Sturm, Marco Voigt, Christoph Weidenbach |
| 2015 | Nondeterminism in Game Semantics via Sheaves. | Takeshi Tsukada, C.-H. Luke Ong |
| 2015 | Recent Developments in Quantitative Information Flow (Invited Tutorial). | Geoffrey Smith |
| 2015 | Distributed Graph Automata. | Fabian Reiter |
| 2015 | Separating Regular Languages with Two Quantifiers Alternations. | Thomas Place |
| 2015 | Names and Symmetry in Computer Science (Invited Tutorial). | Andrew M. Pitts |
| 2015 | Descriptive Set Theory in the Category of Represented Spaces. | Arno Pauly, Matthew de Brecht |
| 2015 | Higher-Order Model Checking: An Overview. | Luke Ong |
| 2015 | From Categorical Logic to Facebook Engineering. | Peter W. O'Hearn |
| 2015 | Bisimilarity in Fresh-Register Automata. | Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
| 2015 | Polarised Intermediate Representation of Lambda Calculus with Sums. | Guillaume Munch-Maccagnoni, Gabriel Scherer |
| 2015 | A Unifying Approach to the Gamma Question. | Benoit Monin, Andr Nies |
| 2015 | Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow. | Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja |
| 2015 | A Fibrational Account of Local States. | Kenji Maillard, Paul-Andr Mellis |