| 2018 | Continuous Reasoning: Scaling the impact of formal methods. | Peter W. O'Hearn |
| 2018 | Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory. | Andreas Nuyts, Dominique Devriese |
| 2018 | MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras. | Matthias Niewerth |
| 2018 | A Fixpoint Logic and Dependent Effects for Temporal Property Verification. | Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi |
| 2018 | The Geometry of Computation-Graph Abstraction. | Koko Muroya, Steven W. T. Cheung, Dan R. Ghica |
| 2018 | Dialectica models of type theory. | Sean K. Moss, Tamara von Glehn |
| 2018 | An answer to the Gamma question. | Benoit Monin |
| 2018 | A sequent calculus with dependent types for classical arithmetic. | tienne Miquey |
| 2018 | Riesz Modal Logic with Threshold Operators. | Matteo Mio |
| 2018 | An Asynchronous Soundness Theorem for Concurrent Separation Logic. | Paul-Andr Mellis, Lo Stefanesco |
| 2018 | Ribbon Tensorial Logic. | Paul-Andr Mellis |
| 2018 | Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. | Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
| 2018 | Probabilistic Bhm Trees and Probabilistic Separation. | Thomas Leventis |
| 2018 | A modal μ perspective on solving parity games in quasi-polynomial time. | Karoliina Lehtinen |
| 2018 | Around Classical and Intuitionistic Linear Logics. | Olivier Laurent |
| 2018 | Weighted model counting beyond two-variable logic. | Antti Kuusisto, Carsten Lutz |
| 2018 | Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. | Jan Kretnsk, Tobias Meggendorfer |
| 2018 | Free Higher Groups in Homotopy Type Theory. | Nicolai Kraus, Thorsten Altenkirch |
| 2018 | A Logical Account for Linear Partial Differential Equations. | Marie Kerjean |
| 2018 | Type-two polynomial-time and restricted lookahead. | Bruce M. Kapron, Florian Steinberg |
| 2018 | Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2018 | A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2018 | Satisfiability in multi-valued circuits. | Pawel M. Idziak, Jacek Krzaczkowski |
| 2018 | Unification nets: canonical proof net quantifiers. | Dominic J. D. Hughes |
| 2018 | Polynomial Invariants for Affine Programs. | Ehud Hrushovski, Jol Ouaknine, Amaury Pouly, James Worrell |