| 2020 | A Hierarchy of Algebras for Boolean Subsets. Walter Guttmann, Bernhard Möller |
| 2020 | A Relation-Algebraic Treatment of the Dedekind Recursion Theorem. Rudolf Berghammer |
| 2020 | A Unary Semigroup Trace Algebra. Pedro Ribeiro |
| 2020 | Automated Algebraic Reasoning for Collections and Local Variables with Lenses. Simon Foster, James Baxter |
| 2020 | Bisimilarity of Diagrams. Jérémy Dubut |
| 2020 | Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests. Natanael Alpay, Peter Jipsen |
| 2020 | Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda |
| 2020 | Counting and Computing Join-Endomorphisms in Lattices. Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia |
| 2020 | Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth |
| 2020 | Expressive Power and Succinctness of the Positive Calculus of Relations. Yoshiki Nakamura |
| 2020 | Generating Posets Beyond N. Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa |
| 2020 | Hardness of Network Satisfaction for Relation Algebras with Normal Representations. Manuel Bodirsky, Simon Knäuer |
| 2020 | Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory. Yoshihiro Maruyama |
| 2020 | Preorders, Partial Semigroups, and Quantales. Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa |
| 2020 | Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. Uli Fahrenberg, Peter Jipsen, Michael Winter |
| 2020 | Sharpness in the Fuzzy World. Michael Winter |
| 2020 | Stone Dualities from Opfibrations. Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida |
| 2020 | The Involutive Quantaloid of Completely Distributive Lattices. Luigi Santocanale |
| 2020 | The θ-Join as a Join with θ. Jules Desharnais, Bernhard Möller |
| 2020 | Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras. Walter Guttmann |
| 2020 | Weakening Relation Algebras and FL Nikolaos Galatos, Peter Jipsen |