9. RelMiCS 2006: Manchester, UK

• Ernie Cohen:
  Weak Kleene Algebra and Computation Trees. 1
  
• Roger D. Maddux:
  Finite Symmetric Integral Relation Algebras with No 3-Cycles. 2-29
  
• Jeff W. Sanders:
  Computations and Relational Bundles. 30-62
  
• Kamal Aboul-Hosn:
  An Axiomatization of Arrays for Kleene Algebra with Tests. 63-77
  
• Kamal Aboul-Hosn, Dexter Kozen:
  Local Variable Scoping and Kleene Algebra with Tests. 78-90
  
• Rudolf Berghammer:
  Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView. 91-105
  
• Wojciech Buszkowski:
  On the Complexity of the Equational Theory of Relational Action Algebras. 106-119
  
• Jean-Lou De Carufel, Jules Desharnais:
  Demonic Algebra with Domain. 120-134
  
• Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter:
  Topological Representation of Contact Lattices. 135-147
  
• Ivo Düntsch, Alasdair Urquhart:
  Betweenness and Comparability Obtained from Binary Relations. 148-161
  
• Wojciech Dzik, Ewa Orlowska, Clint J. van Alten:
  Relational Representation Theorems for General Lattices with Negations. 162-176
  
• Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg:
  Monotonicity Analysis Can Speed Up Verification. 177-191
  
• Stephane Gaubert, Ricardo Katz:
  Max-Plus Convex Geometry. 192-206
  
• Peter Höfner, Bernhard Möller:
  Lazy Semiring Neighbours and Some Applications. 207-221
  
• Peter Höfner, Bernhard Möller, Kim Solin:
  Omega Algebra, Demonic Refinement Algebra and Commands. 222-234
  
• Wolfram Kahl:
  Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell. 235-250
  
• Yasuo Kawahara:
  On the Cardinality of Relations. 251-265
  
• Britta Kehden:
  Evaluating Sets of Search Points Using Relational Algebra. 266-280
  
• Tadeusz Litak:
  Algebraization of Hybrid Logic with Binders. 281-295
  
• Annabelle McIver, E. Cohen, Carroll Morgan:
  Using Probabilistic Kleene Algebra for Protocol Verification. 296-310
  
• Ingrid Rewitzky, Chris Brink:
  Monotone Predicate Transformers as Up-Closed Multirelations. 311-327
  
• Gunther Schmidt:
  Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. 328-342
  
• Gunther Schmidt:
  Relational Measures and Integration. 343-357
  
• Giuseppe Scollo, Giuditta Franco, Vincenzo Manca:
  A Relational View of Recurrence and Attractors in State Transition Dynamics. 358-372
  
• Kim Solin:
  On Two Dually Nondeterministic Refinement Algebras. 373-387
  
• Andrzej Szalas, Jerzy Tyszkiewicz:
  On the Fixpoint Theory of Equality and Its Applications. 388-401
  
• Toshinori Takai, Hitoshi Furusawa:
  Monodic Tree Kleene Algebra. 402-416
  
• Michael Winter:
  Weak Relational Products. 417-431