| 2020 | On Free Completely Iterative Algebras. | Jir Admek |
| 2020 | Generalized Connectives for Multiplicative Linear Logic. | Matteo Acclavio, Roberto Maieli |
| 2018 | Climbing up the Elementary Complexity Classes with Theories of Automatic Structures. | Faried Abu Zaid, Dietrich Kuske, Peter Lindner |
| 2018 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2018 | MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics. | Kazushige Terui |
| 2018 | Parity Games with Weights. | Sven Schewe, Alexander Weinert, Martin Zimmermann |
| 2018 | Local Validity for Circular Proofs in Linear Logic with Fixed Points. | Rmi Nollet, Alexis Saurin, Christine Tasson |
| 2018 | Synthesizing Optimally Resilient Controllers. | Daniel Neider, Alexander Weinert, Martin Zimmermann |
| 2018 | On Compositionality of Dinatural Transformations. | Guy McCusker, Alessio Santamaria |
| 2018 | Quantitative Foundations for Resource Theories. | Dan Marsden, Maaike Zwart |
| 2018 | A Decidable Fragment of Second Order Logic With Applications to Synthesis. | P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan |
| 2018 | Canonical Models and the Complexity of Modal Team Logic. | Martin Lck |
| 2018 | Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular. | Aliaume Lopez, Alex Simpson |
| 2018 | An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation. | Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing |
| 2018 | The Ackermann Award 2018. | Dexter Kozen, Thomas Schwentick |
| 2018 | A Contextual Reconstruction of Monadic Reflection. | Toru Kawata |
| 2018 | Dependency Concepts up to Equivalence. | Erich Grdel, Matthias Hoelzel |
| 2018 | A Fully Abstract Game Semantics for Countable Nondeterminism. | William John Gowers, James David Laird |
| 2018 | Quantifying Bounds in Strategy Logic. | Nathanal Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2018 | Expressivity Within Second-Order Transitive-Closure Logic. | Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema |
| 2018 | Beyond Polarity: Towards a Multi-Discipline Intermediate Language with Sharing. | Paul Downen, Zena M. Ariola |
| 2018 | Symmetric Circuits for Rank Logic. | Anuj Dawar, Gregory Wilsenach |
| 2018 | Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices). | Anupam Das, Damien Pous |
| 2018 | A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions. | Anupam Das, Isabel Oitavem |
| 2018 | Fully Abstract Models of the Probabilistic lambda-calculus. | Pierre Clairambault, Hugo Paquet |