| 2021 | Behavioural Preorders via Graded Monads. | Chase Ford, Stefan Milius, Lutz Schrder |
| 2021 | Parameterized Complexity of Elimination Distance to First-Order Logic Properties. | Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos |
| 2021 | Types Are Internal ∞-Groupoids. | Eric Finster, Antoine Allioux, Matthieu Sozeau |
| 2021 | The Laplace Mechanism has optimal utility for differential privacy over continuous queries. | Natasha Fernandes, Annabelle McIver, Carroll Morgan |
| 2021 | Multi-Structural Games and Number of Quantifiers. | Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas |
| 2021 | Categorical models of Linear Logic with fixed points of formulas. | Thomas Ehrhard, Farzad Jafarrahmani |
| 2021 | The Undecidability of System F Typability and Type Checking for Reductionists. | Andrej Dudenhefner |
| 2021 | Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes. | Jan Dreier |
| 2021 | Verifying higher-order concurrency with data automata. | Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz |
| 2021 | Session Logical Relations for Noninterference. | Farzaneh Derakhshan, Stephanie Balzer, Limin Jia |
| 2021 | Lovsz-Type Theorems and Game Comonads. | Anuj Dawar, Tomas Jakl, Luca Reggio |
| 2021 | SD-Regular Transducer Expressions for Aperiodic Transformations. | Luc Dartois, Paul Gastin, Shankara Narayanan Krishna |
| 2021 | Abstraction in Data Integration. | Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi |
| 2021 | Forbidden Induced Subgraphs and the Łoś-Tarski Theorem. | Yijia Chen, Jrg Flum |
| 2021 | Symbolic Time and Space Tradeoffs for Probabilistic Verification. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil |
| 2021 | Stochastic Processes with Expected Stopping Time. | Krishnendu Chatterjee, Laurent Doyen |
| 2021 | On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2021 | Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. | Titouan Carette, Marc de Visme, Simon Perdrix |
| 2021 | Higher Lenses. | Paolo Capriotti, Nils Anders Danielsson, Andrea Vezzosi |
| 2021 | Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. | Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner |
| 2021 | From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata. | Elisabet Burjons, Fabian Frei, Martin Raszyk |
| 2021 | A Logic for Locally Complete Abstract Interpretations. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
| 2021 | On the logical structure of choice and bar induction principles. | Nuria Brede, Hugo Herbelin |
| 2021 | Asynchronous Extensions of HyperLTL. | Laura Bozzelli, Adriano Peron, Csar Snchez |
| 2021 | Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. | Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman |