| 2014 | Axioms and decidability for type isomorphism in the presence of sums. | Danko Ilik |
| 2014 | Memoryful geometry of interaction: from coalgebraic components to algebraic effects. | Naohiko Hoshino, Koko Muroya, Ichiro Hasuo |
| 2014 | No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete. | Willem Heijltjes, Robin Houston |
| 2014 | Preservation and decomposition theorems for bounded degree structures. | Frederik Harwath, Lucas Heimberg, Nicole Schweikardt |
| 2014 | Senescent ground tree rewrite systems. | Matthew Hague |
| 2014 | Subclasses of presburger arithmetic and the weak EXP hierarchy. | Christoph Haase |
| 2014 | Equilibria of concurrent games on event structures. | Julian Gutierrez, Michael J. Wooldridge |
| 2014 | Symmetric normalisation for intuitionistic logic. | Nicolas Guenot, Lutz Straburger |
| 2014 | KAT + B! | Niels Bjrn Bugge Grathwohl, Dexter Kozen, Konstantinos Mamouras |
| 2014 | Achieving new upper bounds for the hypergraph duality problem through logic. | Georg Gottlob, Enrico Malizia |
| 2014 | Satisfiability modulo counting: a new approach for analyzing privacy properties. | Matthew Fredrikson, Somesh Jha |
| 2014 | Understanding biology through logic. | Jasmin Fisher |
| 2014 | Substitution, jumps, and algebraic effects. | Marcelo P. Fiore, Sam Staton |
| 2014 | Pattern logics and auxiliary relations. | Diego Figueira, Leonid Libkin |
| 2014 | On periodically iterated morphisms. | Jrg Endrullis, Dimitri Hendriks |
| 2014 | A new correctness criterion for MLL proof nets. | Thomas Ehrhard |
| 2014 | Expressive completeness of separation logic with two variables and no separating conjunction. | Stphane Demri, Morgan Deters |
| 2014 | The Ackermann award 2014. | Anuj Dawar |
| 2014 | On the pigeonhole and related principles in deep inference and monotone systems. | Anupam Das |
| 2014 | System F with coercion constraints. | Julien Cretin, Didier Rmy |
| 2014 | Abstract interpretation: past, present and future. | Patrick Cousot, Radhia Cousot |
| 2014 | One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries. | Hubie Chen, Moritz Mller |
| 2014 | On the total variation distance of labelled Markov chains. | Taolue Chen, Stefan Kiefer |
| 2014 | The tractability frontier of graph-like first-order query sets. | Hubie Chen |
| 2014 | Equality and fixpoints in the calculus of structures. | Kaustuv Chaudhuri, Nicolas Guenot |