| 2019 | Trees in Partial Higher Dimensional Automata. | Jrmy Dubut |
| 2019 | Kleene Algebra with Hypotheses. | Amina Doumane, Denis Kuperberg, Damien Pous, Ccilia Pradic |
| 2019 | Two-Way Parikh Automata with a Visibly Pushdown Stack. | Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot |
| 2019 | Rewriting Abstract Structures: Materialization Explained Categorically. | Andrea Corradini, Tobias Heindel, Barbara Knig, Dennis Nolte, Arend Rensink |
| 2019 | Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games. | Thomas Colcombet, Nathanal Fijalkow |
| 2019 | Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment). | Simon Castellan, Nobuko Yoshida |
| 2019 | The Impatient May Use Limited Optimism to Minimize Regret. | Michal Cadilhac, Guillermo A. Prez, Marie van den Bogaard |
| 2019 | Identifiers in Registers - Describing Network Algorithms with Logic. | Benedikt Bollig, Patricia Bouyer, Fabian Reiter |
| 2019 | A Complete Normal-Form Bisimilarity for State. | Dariusz Biernacki, Sergue Lenglet, Piotr Polesiuk |
| 2019 | Tight Worst-Case Bounds for Polynomial Loop Programs. | Amir M. Ben-Amram, Geoff W. Hamilton |
| 2019 | Coalgebra Learning via Duality. | Simone Barlocco, Clemens Kupke, Jurriaan Rot |
| 2019 | Change Actions: Models of Generalised Differentiation. | Mario Alvarez-Picallo, C.-H. Luke Ong |
| 2019 | Resource-Tracking Concurrent Games. | Aurore Alcolei, Pierre Clairambault, Olivier Laurent |
| 2018 | Depending on Session-Typed Processes. | Bernardo Toninho, Nobuko Yoshida |
| 2018 | Proper Semirings and Proper Convex Functors. | Ana Sokolova, Harald Woracek |
| 2018 | Fab ous Interoperability for ML and a Linear Language. | Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed |
| 2018 | The Equational Theory of the Natural Join and Inner Union is Decidable. | Luigi Santocanale |
| 2018 | From Symmetric Pattern-Matching to Quantum Control. | Amr Sabry, Benot Valiron, Juliana Kaizer Vizzotto |
| 2018 | Minimization of Graph Weighted Models over Circular Strings. | Guillaume Rabusseau |
| 2018 | Realizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control. | tienne Miquey, Hugo Herbelin |
| 2018 | Logics for Bisimulation and Divergence. | Xinxin Liu, Tingting Yu, Wenhui Zhang |
| 2018 | WQO Dichotomy for 3-Graphs. | Slawomir Lasota, Radoslaw Pirkowski |
| 2018 | Call-by-Need, Neededness and All That. | Delia Kesner, Alejandro Ros, Andrs Viso |
| 2018 | A Double Category Theoretic Analysis of Graded Linear Exponential Comonads. | Shin-ya Katsumata |
| 2018 | Categorical Combinatorics for Non Deterministic Strategies on Simple Games. | Clment Jacq, Paul-Andr Mellis |