| 2018 | A Double Category Theoretic Analysis of Graded Linear Exponential Comonads. Shin-ya Katsumata |
| 2018 | A Framework for Parameterized Monitorability. Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir |
| 2018 | A Hierarchy of Scheduler Classes for Stochastic Automata. Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards |
| 2018 | A New Linear Logic for Deadlock-Free Session-Typed Processes. Ornela Dardha, Simon J. Gay |
| 2018 | A Syntactic View of Computational Adequacy. Marco Devesas Campos, Paul Blain Levy |
| 2018 | A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended Abstract). Rob van Glabbeek |
| 2018 | A Trace Semantics for System F Parametric Polymorphism. Guilhem Jaber, Nikos Tzevelekos |
| 2018 | Automata for True Concurrency Properties. Paolo Baldan, Tommaso Padoan |
| 2018 | Call-by-Need, Neededness and All That. Delia Kesner, Alejandro Ríos, Andrés Viso |
| 2018 | Categorical Combinatorics for Non Deterministic Strategies on Simple Games. Clément Jacq, Paul-André Melliès |
| 2018 | Comparator Automata in Quantitative Verification. Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi |
| 2018 | Depending on Session-Typed Processes. Bernardo Toninho, Nobuko Yoshida |
| 2018 | Differential Calculus with Imprecise Input and Its Logical Framework. Abbas Edalat, Mehrdad Maleki |
| 2018 | Fab ous Interoperability for ML and a Linear Language. Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed |
| 2018 | Fitch-Style Modal Lambda Calculi. Ranald Clouston |
| 2018 | Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Christel Baier, Ugo Dal Lago |
| 2018 | From Symmetric Pattern-Matching to Quantum Control. Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto |
| 2018 | Games on Graphs with a Public Signal Monitoring. Patricia Bouyer |
| 2018 | Guarded Traced Categories. Sergey Goncharov, Lutz Schröder |
| 2018 | Logics for Bisimulation and Divergence. Xinxin Liu, Tingting Yu, Wenhui Zhang |
| 2018 | Minimization of Graph Weighted Models over Circular Strings. Guillaume Rabusseau |
| 2018 | Modular Tableaux Calculi for Separation Theories. Simon Docherty, David J. Pym |
| 2018 | Non-angelic Concurrent Game Semantics. Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel |
| 2018 | Proper Semirings and Proper Convex Functors. Ana Sokolova, Harald Woracek |
| 2018 | Quotient Inductive-Inductive Types. Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg |
| 2018 | Realizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control. Étienne Miquey, Hugo Herbelin |
| 2018 | Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings. Hugo Bazille, Eric Fabre, Blaise Genest |
| 2018 | The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. Stéphane Le Roux, Guillermo A. Pérez |
| 2018 | The Effects of Adding Reachability Predicates in Propositional Separation Logic. Stéphane Demri, Étienne Lozes, Alessio Mansutti |
| 2018 | The Equational Theory of the Natural Join and Inner Union is Decidable. Luigi Santocanale |
| 2018 | Verifying Higher-Order Functions with Tree Automata. Thomas Genet, Timothée Haudebourg, Thomas P. Jensen |
| 2018 | WQO Dichotomy for 3-Graphs. Slawomir Lasota, Radoslaw Piórkowski |