| 2021 | Constructing a universe for the setoid model. | Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini |
| 2020 | The Polynomial Complexity of Vector Addition Systems with States. | Florian Zuleger |
| 2020 | Spinal Atomic Lambda-Calculus. | David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot |
| 2020 | Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store. | Miriam Polzer, Sergey Goncharov |
| 2020 | Semantical Analysis of Contextual Types. | Brigitte Pientka, Ulrich Schpp |
| 2020 | Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. | Romain Pchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev |
| 2020 | The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. | Thomas Neele, Antti Valmari, Tim A. C. Willemse |
| 2020 | Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. | Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari |
| 2020 | An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning. | Alessio Mansutti |
| 2020 | Ambiguity, Weakness, and Regularity in Probabilistic Bchi Automata. | Christof Lding, Anton Pirogov |
| 2020 | An Axiomatic Approach to Reversible Computation. | Ivan Lanese, Iain Phillips, Irek Ulidowski |
| 2020 | A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λ μ-Calculus. | James Laird |
| 2020 | Decomposing Probabilistic Lambda-Calculi. | Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes |
| 2020 | Graded Algebraic Theories. | Satoshi Kura |
| 2020 | Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. | Tobias Kapp, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2020 | Exponential Automatic Amortized Resource Analysis. | David M. Kahn, Jan Hoffmann |
| 2020 | Deep Induction: Induction Rules for (Truly) Nested Types. | Patricia Johann, Andrew Polonsky |
| 2020 | Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. | Mathieu Huot, Sam Staton, Matthijs Vkr |
| 2020 | Learning Weighted Automata over Principal Ideal Domains. | Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva |
| 2020 | On the k-synchronizability of Systems. | Cinzia Di Giusto, Laetitia Laversa, tienne Lozes |
| 2020 | A Duality Theoretic View on Limits of Finite Structures. | Mai Gehrke, Tomas Jakl, Luca Reggio |
| 2020 | Relative Full Completeness for Bicategorical Cartesian Closed Structure. | Marcelo Fiore, Philip Saville |
| 2020 | Constructing Infinitary Quotient-Inductive Types. | Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp |
| 2020 | Minimal Coverability Tree Construction Made Complete and Efficient. | Alain Finkel, Serge Haddad, Igor Khmelnitsky |
| 2020 | On Computability of Data Word Functions Defined by Transducers. | Lo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |