| 2018 | 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, Birmingham, UK, September 4-7, 2018 Dan R. Ghica, Achim Jung |
| 2018 | A Contextual Reconstruction of Monadic Reflection. Toru Kawata |
| 2018 | A Decidable Fragment of Second Order Logic With Applications to Synthesis. P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan |
| 2018 | A Fully Abstract Game Semantics for Countable Nondeterminism. William John Gowers, James David Laird |
| 2018 | A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions. Anupam Das, Isabel Oitavem |
| 2018 | An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation. Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing |
| 2018 | An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets. Jules Chouquet, Lionel Vaux Auclair |
| 2018 | Approximating Probabilistic Automata by Regular Languages. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2018 | Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular. Aliaume Lopez, Alex Simpson |
| 2018 | Beyond Admissibility: Dominance Between Chains of Strategies. Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard |
| 2018 | Beyond Polarity: Towards a Multi-Discipline Intermediate Language with Sharing. Paul Downen, Zena M. Ariola |
| 2018 | Canonical Models and the Complexity of Modal Team Logic. Martin Lück |
| 2018 | Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities. Carlo Angiuli, Kuen-Bang Hou (Favonia), Robert Harper |
| 2018 | Climbing up the Elementary Complexity Classes with Theories of Automatic Structures. Faried Abu Zaid, Dietrich Kuske, Peter Lindner |
| 2018 | Combining Linear Logic and Size Types for Implicit Complexity. Patrick Baillot, Alexis Ghyselen |
| 2018 | Definable Inapproximability: New Challenges for Duplicator. Albert Atserias, Anuj Dawar |
| 2018 | Dependency Concepts up to Equivalence. Erich Grädel, Matthias Hoelzel |
| 2018 | Expressivity Within Second-Order Transitive-Closure Logic. Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema |
| 2018 | Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. Béatrice Bérard, Patricia Bouyer, Vincent Jugé |
| 2018 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2018 | Fully Abstract Models of the Probabilistic lambda-calculus. Pierre Clairambault, Hugo Paquet |
| 2018 | Graphical Conjunctive Queries. Filippo Bonchi, Jens Seeber, Pawel Sobocinski |
| 2018 | High-Level Signatures and Initial Semantics. Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi |
| 2018 | Local Validity for Circular Proofs in Linear Logic with Fixed Points. Rémi Nollet, Alexis Saurin, Christine Tasson |
| 2018 | MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics. Kazushige Terui |
| 2018 | Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices). Anupam Das, Damien Pous |
| 2018 | On Compositionality of Dinatural Transformations. Guy McCusker, Alessio Santamaria |
| 2018 | Parity Games with Weights. Sven Schewe, Alexander Weinert, Martin Zimmermann |
| 2018 | Quantifying Bounds in Strategy Logic. Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2018 | Quantitative Foundations for Resource Theories. Dan Marsden, Maaike Zwart |
| 2018 | Relating Structure and Power: Comonadic Semantics for Computational Resources. Samson Abramsky, Nihil Shah |
| 2018 | Rule Algebras for Adhesive Categories. Nicolas Behr, Pawel Sobocinski |
| 2018 | Safety, Absoluteness, and Computability. Arnon Avron, Shahar Lev, Nissan Levi |
| 2018 | Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains. Manuel Bodirsky, Marcello Mamino, Caterina Viola |
| 2018 | Symmetric Circuits for Rank Logic. Anuj Dawar, Gregory Wilsenach |
| 2018 | Synthesizing Optimally Resilient Controllers. Daniel Neider, Alexander Weinert, Martin Zimmermann |
| 2018 | The Ackermann Award 2018. Dexter Kozen, Thomas Schwentick |
| 2018 | The True Concurrency of Herbrand's Theorem. Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel |
| 2018 | Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. Liron Cohen, Reuben N. S. Rowe |