| 2015 | Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. | Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan |
| 2015 | On Unambiguous Regular Tree Languages of Index (0, 2). | Jacques Duparc, Kevin Fournier, Szczepan Hummel |
| 2015 | A Definability Dichotomy for Finite Valued CSPs. | Anuj Dawar, Pengming Wang |
| 2015 | The Ackermann Award 2015. | Anuj Dawar, Dexter Kozen, Simona Ronchi Della Rocca |
| 2015 | Evidence for Fixpoint Logic. | Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse |
| 2015 | Reachability Analysis of First-order Definable Pushdown Systems. | Lorenzo Clemente, Slawomir Lasota |
| 2015 | Two-variable Logic with Counting and a Linear Order. | Witold Charatonik, Piotr Witkowski |
| 2015 | Aperiodic Two-way Transducers and FO-Transductions. | Olivier Carton, Luc Dartois |
| 2015 | Temporal Logics with Local Constraints (Invited Talk). | Claudia Carapelle, Markus Lohrey |
| 2015 | Functions out of Higher Truncations. | Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi |
| 2015 | Sub-classical Boolean Bunched Logics and the Meaning of Par. | James Brotherston, Jules Villard |
| 2015 | Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability. | Thomas Brihaye, Vronique Bruyre, Nomie Meunier, Jean-Franois Raskin |
| 2015 | Modelling Coeffects in the Relational Semantics of Linear Logic. | Flavien Breuvart, Michele Pagani |
| 2015 | First-Order Queries on Finite Abelian Groups. | Simone Bova, Barnaby Martin |
| 2015 | Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness. | Stefano Berardi |
| 2015 | Least and Greatest Fixed Points in Ludics. | David Baelde, Amina Doumane, Alexis Saurin |
| 2015 | Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. | Matthias Baaz, Christian G. Fermller |
| 2015 | On Classical PCF, Linear Logic and the MIX Rule. | Shahin Amini, Thomas Erhard |
| 2015 | Contextuality, Cohomology and Paradox. | Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield |
| 2015 | The Prophecy of Timely Rollback (Invited Talk). | Martn Abadi |
| 2014 | Faster decision of first-order graph properties. | Ryan Williams |
| 2014 | Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives. | Yaron Velner |
| 2014 | Compositional higher-order model checking via | Takeshi Tsukada, C.-H. Luke Ong |
| 2014 | Infinite sequential games with real-valued payoffs. | Stphane Le Roux, Arno Pauly |
| 2014 | Logics with counting and equivalence. | Ian Pratt-Hartmann |