| 2011 | A First-Order Calculus for Allegories. Bahar Aameri, Michael Winter |
| 2011 | A Functional, Successor List Based Version of Warshall's Algorithm with Applications. Rudolf Berghammer |
| 2011 | Ampersand - Applying Relation Algebra in Practice. Gerard Michels, Sebastiaan J. C. Joosten, Jaap van der Woude, Stef Joosten |
| 2011 | An Algebraic Approach to Preference Relations. Ivo Düntsch, Ewa Orlowska |
| 2011 | Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). Simon Foster, Georg Struth, Tjark Weber |
| 2011 | Building Structured Theories - (Invited Paper). Bernhard Möller |
| 2011 | Constructions around Partialities. Gunther Schmidt |
| 2011 | Dependently-Typed Formalisation of Relation-Algebraic Abstractions. Wolfram Kahl |
| 2011 | Explaining Voting Paradoxes; Including Arrow's and Sen's Theorems - (Invited Tutorial). Donald G. Saari |
| 2011 | From Arrow's Impossibility to Schwartz's Tournament Equilibrium Set - (Invited Tutorial). Felix Brandt |
| 2011 | Omega Algebras and Regular Equations. Michael R. Laurence, Georg Struth |
| 2011 | On Probabilistic Kleene Algebras, Automata and Simulations. Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
| 2011 | Pathfinding through Congruences. Alexander J. T. Gurney, Timothy G. Griffin |
| 2011 | Programming from Galois Connections. Shin-Cheng Mu, José Nuno Oliveira |
| 2011 | Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial). Michael Winter |
| 2011 | Relational Heterogeneity Relaxed by Subtyping. Jaap van der Woude, Stef Joosten |
| 2011 | Relational Modelling and Solution of Chessboard Problems. Rudolf Berghammer |
| 2011 | Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings Harrie C. M. de Swart |
| 2011 | Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings. Hitoshi Furusawa, Koki Nishizawa |
| 2011 | Social Networks: Prestige, Centrality, and Influence - (Invited Paper). Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch |
| 2011 | Splitting Atoms in Relational Algebras. Prathap Siddavaatam, Michael Winter |
| 2011 | Synthesising Terminating Tableau Calculi for Relational Logics - (Invited Paper). Renate A. Schmidt |
| 2011 | Towards a Typed Omega Algebra. Walter Guttmann |
| 2011 | Towards an Algebra of Routing Tables. Peter Höfner, Annabelle McIver |
| 2011 | Using Bisimulations for Optimality Problems in Model Refinement. Roland Glück |
| 2011 | Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. Han-Hing Dang, Peter Höfner |