| 2021 | On Logics and Homomorphism Closure. | Manuel Bodirsky, Thomas Feller, Simon Knuer, Sebastian Rudolph |
| 2021 | Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property. | Manuel Bodirsky, Bertalan Bodor |
| 2021 | Continuous One-Counter Automata. | Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Prez |
| 2021 | Constraint Satisfaction Problems over Finite Structures. | Libor Barto, William J. DeMeo, Antoine Mottet |
| 2021 | Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP. | Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk |
| 2021 | A Constructive Logic with Classical Proofs and Refutations. | Pablo Barenbaum, Teodoro Freund |
| 2021 | A Bunched Logic for Conditional Independence. | Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva |
| 2021 | The Topological Mu-Calculus: completeness and decidability. | Alexandru Baltag, Nick Bezhanishvili, David Fernndez-Duque |
| 2021 | Some constructive variants of S4 with the finite model property. | Philippe Balbiani, Martn Diguez, David Fernndez-Duque |
| 2021 | Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics. | A. R. Balasubramanian, Timo Lang, Revantha Ramanayake |
| 2021 | Categories of Nets. | John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman |
| 2021 | On the Expressive Power of Homomorphism Counts. | Albert Atserias, Phokion G. Kolaitis, Wei-Lin Wu |
| 2021 | Universal Semantics for the Stochastic λ-Calculus. | Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts |
| 2021 | Axiomatizations and Computability of Weighted Monadic Second-Order Logic. | Antonis Achilleos, Mathias Ruggaard Pedersen |
| 2021 | In search of lost time: Axiomatising parallel composition in process algebras. | Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik |
| 2021 | The Space of Interaction. | Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
| 2021 | Strong Call-by-Value is Reasonable, Implosively. | Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen |
| 2021 | Comonadic semantics for guarded fragments. | Samson Abramsky, Dan Marsden |
| 2021 | Smart Choices and the Selection Monad. | Martn Abadi, Gordon D. Plotkin |
| 2021 | A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours. | Xinxin Liu, Tingting Yu |
| 2021 | Fusible numbers and Peano Arithmetic. | Jeff Erickson, Gabriel Nivasch, Junyan Xu |
| 2021 | Evidenced Frames: A Unifying Framework Broadening Realizability Models. | Liron Cohen, tienne Miquey, Ross Tate |
| 2021 | Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2021 | From Multisets over Distributions to Distributions over Multisets. | Bart Jacobs |
| 2020 | On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width. | Michal Wrona |