| 2018 | A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2018 | A Fixpoint Logic and Dependent Effects for Temporal Property Verification. Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi |
| 2018 | A General Framework for Relational Parametricity. Kristina Sojakova, Patricia Johann |
| 2018 | A Generalized Modality for Recursion. Adrien Guatto |
| 2018 | A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow. Rose Bohrer, André Platzer |
| 2018 | A Logical Account for Linear Partial Differential Equations. Marie Kerjean |
| 2018 | A Simple and Optimal Complementation Algorithm for Büchi Automata. Joël D. Allred, Ulrich Ultes-Nitsche |
| 2018 | A Theory of Register Monitors. Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç |
| 2018 | A functional interpretation with state. Thomas Powell |
| 2018 | A modal μ perspective on solving parity games in quasi-polynomial time. Karoliina Lehtinen |
| 2018 | A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. Yijia Chen, Moritz Müller, Keita Yokoyama |
| 2018 | A pseudo-quasi-polynomial algorithm for mean-payoff parity games. Laure Daviaud, Marcin Jurdzinski, Ranko Lazic |
| 2018 | A sequent calculus with dependent types for classical arithmetic. Étienne Miquey |
| 2018 | A theory of linear typings as flows on 3-valent graphs. Noam Zeilberger |
| 2018 | A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP. Manuel Bodirsky, Florent R. Madelaine, Antoine Mottet |
| 2018 | A van Benthem Theorem for Fuzzy Modal Logic. Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König |
| 2018 | Allegories: decidability and graph homomorphisms. Damien Pous, Valeria Vignudelli |
| 2018 | An Algebraic Theory of Markov Processes. Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2018 | An Asynchronous Soundness Theorem for Concurrent Separation Logic. Paul-André Melliès, Léo Stefanesco |
| 2018 | An answer to the Gamma question. Benoit Monin |
| 2018 | Around Classical and Intuitionistic Linear Logics. Olivier Laurent |
| 2018 | Automaton-Based Criteria for Membership in CTL. Udi Boker, Yariv Shaulian |
| 2018 | Black Ninjas in the Dark: Formal Analysis of Population Protocols. Michael Blondin, Javier Esparza, Stefan Jaax, Antonín Kucera |
| 2018 | Boolean-Valued Semantics for the Stochastic λ-Calculus. Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott |
| 2018 | Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable. Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja |
| 2018 | Causal Computational Complexity of Distributed Processes. Romain Demangeon, Nobuko Yoshida |
| 2018 | Cellular Cohomology in Homotopy Type Theory. Ulrik Buchholtz, Kuen-Bang Hou (Favonia) |
| 2018 | Classical realizability as a classifier for nondeterminism. Guillaume Geoffroy |
| 2018 | Compositional Game Theory. Neil Ghani, Jules Hedges, Viktor Winschel, Philipp Zahn |
| 2018 | Computability Beyond Church-Turing via Choice Sequences. Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli |
| 2018 | Computable decision making on the reals and other spaces: via partiality and nondeterminism. Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin |
| 2018 | Concurrency and Probability: Removing Confusion, Compositionally. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
| 2018 | Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. Jan Kretínský, Tobias Meggendorfer |
| 2018 | Continuous Reasoning: Scaling the impact of formal methods. Peter W. O'Hearn |
| 2018 | Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem. Albert Atserias, Joanna Ochremiak |
| 2018 | Definable decompositions for graphs of bounded linear cliquewidth. Mikolaj Bojanczyk, Martin Grohe, Michal Pilipczuk |
| 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 | Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2018 | Dialectica models of type theory. Sean K. Moss, Tamara von Glehn |
| 2018 | Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. André Platzer, Yong Kiam Tan |
| 2018 | Distribution-based objectives for Markov Decision Processes. S. Akshay, Blaise Genest, Nikhil Vyas |
| 2018 | Eager Functions as Processes. Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |
| 2018 | Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger |
| 2018 | Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
| 2018 | Every λ-Term is Meaningful for the Infinitary Relational Model. Pierre Vial |
| 2018 | Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types. Valentin Blot, Jim Laird |
| 2018 | Free Higher Groups in Homotopy Type Theory. Nicolai Kraus, Thorsten Altenkirch |
| 2018 | Guarded Computational Type Theory. Jonathan Sterling, Robert Harper |
| 2018 | Higher Groups in Homotopy Type Theory. Ulrik Buchholtz, Floris van Doorn, Egbert Rijke |
| 2018 | Impredicative Encodings of (Higher) Inductive Types. Steve Awodey, Jonas Frey, Sam Speight |
| 2018 | Inner Models of Univalence. Thierry Coquand |
| 2018 | LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic. Cécilia Pradic, Colin Riba |
| 2018 | Logical paradoxes in quantum computation. Nadish de Silva |
| 2018 | Logics for Word Transductions with Synthesis. Luc Dartois, Emmanuel Filiot, Nathan Lhote |
| 2018 | MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras. Matthias Niewerth |
| 2018 | Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth. Arnaud Durand, Anselm Haak, Heribert Vollmer |
| 2018 | On Higher Inductive Types in Cubical Type Theory. Thierry Coquand, Simon Huber, Anders Mörtberg |
| 2018 | On computability and tractability for infinite sets. Mikolaj Bojanczyk, Szymon Torunczyk |
| 2018 | On the number of types in sparse graphs. Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk |
| 2018 | One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. Javier Esparza, Jan Kretínský, Salomon Sickert |
| 2018 | Parameterized circuit complexity of model-checking on sparse structures. Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk |
| 2018 | Playing with Repetitions in Data Words Using Energy Games. Diego Figueira, M. Praveen |
| 2018 | Polynomial Invariants for Affine Programs. Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell |
| 2018 | Probabilistic Böhm Trees and Probabilistic Separation. Thomas Leventis |
| 2018 | Probabilistic Stable Functions on Discrete Cones are Power Series. Raphaëlle Crubillé |
| 2018 | Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018 Anuj Dawar, Erich Grädel |
| 2018 | Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. Francesco Gavazzo |
| 2018 | Quasi-Open Bisimilarity with Mismatch is Intuitionistic. Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu |
| 2018 | Rational Synthesis Under Imperfect Information. Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin |
| 2018 | ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency. Dan Frumin, Robbert Krebbers, Lars Birkedal |
| 2018 | Regular Transducer Expressions for Regular Transformations. Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna |
| 2018 | Regular and First-Order List Functions. Mikolaj Bojanczyk, Laure Daviaud, Shankara Narayanan Krishna |
| 2018 | Rewriting with Frobenius. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2018 | Ribbon Tensorial Logic. Paul-André Melliès |
| 2018 | Riesz Modal Logic with Threshold Operators. Matteo Mio |
| 2018 | Satisfiability in multi-valued circuits. Pawel M. Idziak, Jacek Krzaczkowski |
| 2018 | Separability by piecewise testable languages and downward closures beyond subwords. Georg Zetzsche |
| 2018 | Sequential Relational Decomposition. Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi |
| 2018 | Sound up-to techniques and Complete abstract domains. Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic |
| 2018 | Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs. Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong |
| 2018 | Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur |
| 2018 | Strong Sums in Focused Logic. Karl Crary |
| 2018 | Syntax and Semantics for Operations with Scopes. Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff |
| 2018 | Syntax and Semantics of Quantitative Type Theory. Robert Atkey |
| 2018 | The Geometry of Computation-Graph Abstraction. Koko Muroya, Steven W. T. Cheung, Dan R. Ghica |
| 2018 | The State Complexity of Alternating Automata. Nathanaël Fijalkow |
| 2018 | The concurrent game semantics of Probabilistic PCF. Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel |
| 2018 | Tree-depth, quantifier elimination, and quantifier rank. Yijia Chen, Jörg Flum |
| 2018 | Two complete axiomatisations of pure-state qubit quantum computing. Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang |
| 2018 | Type-two polynomial-time and restricted lookahead. Bruce M. Kapron, Florian Steinberg |
| 2018 | Unary negation fragment with equivalence relations has the finite model property. Daniel Danielski, Emanuel Kieronski |
| 2018 | Unification nets: canonical proof net quantifiers. Dominic J. D. Hughes |
| 2018 | Weighted model counting beyond two-variable logic. Antti Kuusisto, Carsten Lutz |
| 2018 | What's in a game?: A theory of game models. Clovis Eberhart, Tom Hirschowitz |
| 2018 | Work Analysis with Resource-Aware Session Types. Ankush Das, Jan Hoffmann, Frank Pfenning |
| 2018 | Wreath Products of Distributive Forest Algebras. Michael Hahn, Andreas Krebs, Howard Straubing |