| 2018 | Inner Models of Univalence. | Thierry Coquand |
| 2018 | A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. | Yijia Chen, Moritz Mller, Keita Yokoyama |
| 2018 | Tree-depth, quantifier elimination, and quantifier rank. | Yijia Chen, Jrg Flum |
| 2018 | The concurrent game semantics of Probabilistic PCF. | Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel |
| 2018 | Higher Groups in Homotopy Type Theory. | Ulrik Buchholtz, Floris van Doorn, Egbert Rijke |
| 2018 | Cellular Cohomology in Homotopy Type Theory. | Ulrik Buchholtz, Kuen-Bang Hou (Favonia) |
| 2018 | Concurrency and Probability: Removing Confusion, Compositionally. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2018 | Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. | Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn, Dominik Velan, Florian Zuleger |
| 2018 | Rewriting with Frobenius. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2018 | Sound up-to techniques and Complete abstract domains. | Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic |
| 2018 | Automaton-Based Criteria for Membership in CTL. | Udi Boker, Yariv Shaulian |
| 2018 | On computability and tractability for infinite sets. | Mikolaj Bojanczyk, Szymon Torunczyk |
| 2018 | Definable decompositions for graphs of bounded linear cliquewidth. | Mikolaj Bojanczyk, Martin Grohe, Michal Pilipczuk |
| 2018 | Regular and First-Order List Functions. | Mikolaj Bojanczyk, Laure Daviaud, Shankara Narayanan Krishna |
| 2018 | A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow. | Rose Bohrer, Andr Platzer |
| 2018 | A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP. | Manuel Bodirsky, Florent R. Madelaine, Antoine Mottet |
| 2018 | Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types. | Valentin Blot, Jim Laird |
| 2018 | Black Ninjas in the Dark: Formal Analysis of Population Protocols. | Michael Blondin, Javier Esparza, Stefan Jaax, Antonn Kucera |
| 2018 | Computability Beyond Church-Turing via Choice Sequences. | Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli |
| 2018 | Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. | Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur |
| 2018 | An Algebraic Theory of Markov Processes. | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2018 | Boolean-Valued Semantics for the Stochastic λ-Calculus. | Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott |
| 2018 | Impredicative Encodings of (Higher) Inductive Types. | Steve Awodey, Jonas Frey, Sam Speight |
| 2018 | Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem. | Albert Atserias, Joanna Ochremiak |
| 2018 | Syntax and Semantics of Quantitative Type Theory. | Robert Atkey |