| 2014 | Separating regular languages with first-order logic. | Thomas Place, Marc Zeitoun |
| 2014 | On context semantics and interaction nets. | Matthieu Perrinel |
| 2014 | A functional functional interpretation. | Pierre-Marie Pdrot |
| 2014 | Deadlock and lock freedom in the linear π-calculus. | Luca Padovani |
| 2014 | Formulae-as-types for an involutive negation. | Guillaume Munch-Maccagnoni |
| 2014 | A type theory for productive coprogramming via guarded recursion. | Rasmus Ejlers Mgelberg |
| 2014 | Anchored LTL separation. | Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin |
| 2014 | On the Hoare theory of monadic recursion schemes. | Konstantinos Mamouras |
| 2014 | On the computing power of +, -, and . | Marcello Mamino |
| 2014 | Computer-checked mathematics: a formal proof of the odd order theorem. | Assia Mahboubi |
| 2014 | MSO queries on trees: enumerating answers under updates. | Katja Losemann, Wim Martens |
| 2014 | Eilenberg-MacLane spaces in homotopy type theory. | Daniel R. Licata, Eric Finster |
| 2014 | Compositional verification of termination-preserving refinement of concurrent programs. | Hongjin Liang, Xinyu Feng, Zhong Shao |
| 2014 | Transition systems over games. | Paul Blain Levy, Sam Staton |
| 2014 | Hyper-Ackermannian bounds for pushdown vector addition systems. | Jrme Leroux, M. Praveen, Grgoire Sutre |
| 2014 | Non-elementary complexities for branching VASS, MELL, and extensions. | Ranko Lazic, Sylvain Schmitz |
| 2014 | The geometry of synchronization. | Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu |
| 2014 | On Hanf-equivalence and the number of embeddings of small induced subgraphs. | Stephan Kreutzer, Nicole Schweikardt |
| 2014 | Citations for the test-of-time award from 1994. | Dexter Kozen |
| 2014 | Local temporal reasoning. | Eric Koskinen, Tachio Terauchi |
| 2014 | Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. | Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk |
| 2014 | On the succinctness of query rewriting over shallow ontologies. | Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2014 | A quest for algorithmically random infinite structures. | Bakhadyr Khoussainov |
| 2014 | Probably safe or live. | Joost-Pieter Katoen, Lei Song, Lijun Zhang |
| 2014 | Functional reactive types. | Alan Jeffrey |