| 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 | Graphical Conjunctive Queries. | Filippo Bonchi, Jens Seeber, Pawel Sobocinski |
| 2018 | Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains. | Manuel Bodirsky, Marcello Mamino, Caterina Viola |
| 2018 | Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. | Batrice Brard, Patricia Bouyer, Vincent Jug |
| 2018 | Rule Algebras for Adhesive Categories. | Nicolas Behr, Pawel Sobocinski |
| 2018 | Beyond Admissibility: Dominance Between Chains of Strategies. | Nicolas Basset, Ismal Jecker, Arno Pauly, Jean-Franois Raskin, Marie van den Bogaard |
| 2018 | Combining Linear Logic and Size Types for Implicit Complexity. | Patrick Baillot, Alexis Ghyselen |
| 2018 | Safety, Absoluteness, and Computability. | Arnon Avron, Shahar Lev, Nissan Levi |
| 2018 | Definable Inapproximability: New Challenges for Duplicator. | Albert Atserias, Anuj Dawar |
| 2018 | Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities. | Carlo Angiuli, Kuen-Bang Hou (Favonia), Robert Harper |
| 2018 | The True Concurrency of Herbrand's Theorem. | Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel |
| 2018 | High-Level Signatures and Initial Semantics. | Benedikt Ahrens, Andr Hirschowitz, Ambroise Lafont, Marco Maggesi |
| 2018 | Relating Structure and Power: Comonadic Semantics for Computational Resources. | Samson Abramsky, Nihil Shah |
| 2018 | Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. | Liron Cohen, Reuben N. S. Rowe |
| 2017 | Advice Automatic Structures and Uniformly Automatic Classes. | Faried Abu Zaid, Erich Grdel, Frederic Reinhardt |
| 2017 | Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers. | |
| 2017 | Strategies with Parallel Causes. | Marc de Visme, Glynn Winskel |
| 2017 | On the First-Order Complexity of Induced Subgraph Isomorphism. | Oleg Verbitsky, Maksim Zhukovskii |
| 2017 | Symbolic Automata Theory with Applications (Invited Talk). | Margus Veanes |
| 2017 | Taylor Expansion, lambda-Reduction and Normalization. | Lionel Vaux |
| 2017 | Removing Cycles from Proofs. | Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph |
| 2017 | Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk). | Wolfgang Thomas |
| 2017 | A Finitary Analogue of the Downward Lwenheim-Skolem Property. | Abhisekh Sankaran |
| 2017 | Strongly Normalizing Audited Computation. | Wilmer Ricciotti, James Cheney |