
Accepted Papers:
 Kamal AboulHosn.
An Axiomatization of Arrays for Kleene Algebra with Tests
 Kamal AboulHosn and Dexter Kozen.
Local Variable Scoping and Kleene Algebra With Tests
 Wojciech Buszkowski.
On the Complexity of the Equational Theory of Relational Action Algebras
 JeanLou De Carufel and Jules Desharnais.
Demonic algebra with domain
 Wojciech Dzik, Ewa Orlowska and Clint van Alten.
Relational representation theorems for lattices with negation
 Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov and Michael Winter.
Topological Representation of Contact Lattices
 Ivo Düntsch and Alasdair Urquhart.
Betweenness and comparability obtained from binary relations
 Marcelo Frias, Rodolfo Gamarra, Gabriela Steren and Lorena Bourg.
Monotonicity Analysis Speeds Up Verification
 Stephane Gaubert and Ricardo Katz.
Maxplus convex geometry
 Wolfram Kahl.
Programming with Relations in Haskell
 Yasuo Kawahara.
On the Cardinality of Relations
 Britta Kehden.
Evaluating Sets of Search Points using Relational Algebra
 Tadeusz Litak.
Algebraization of hybrid logic with binders
 Annabelle McIver, Ernie Cohen and Carroll Morgan.
Probabilistic Kleene Algebra: Introduction and example
 Bernhard Moeller, Peter Hoefner and Kim Solin.
Omega Algebra, Demonic Refinement Algebra and Commands
 Bernhard Moeller and Peter Hoefner.
Lazy Semiring Neighbours and some Applications
 Ingrid Rewitzky and Chris Brink.
Monotone predicate transformers as upclosed multirelations
 Berghammer Rudolf.
Computing and Visualizing Lattices of Subgroups using Relation Algebra and RelView
 Gunther Schmidt.
Homomorphism and Isomorphism Theorems  Generalized from a Relational Perspective
 Gunther Schmidt.
Relational Measures and Integration
 Giuseppe Scollo, Giuditta Franco and Vincenzo Manca.
A relational view of recurrence and attractors in state transition dynamics
 Kim Solin.
On Two Dually Nondeterministic Refinement Algebras
 Andrzej Szalas and Jerzy Tyszkiewicz.
On the Fixpoint Theory of Equality and its Applications
 Toshinori Takai and Hitoshi Furusawa.
Monodic tree Kleene algebra
 Michael Winter.
Weak Relational Products
Last updated 11 May 2006.
