Relations and Kleene Algebra in Computer Science

Constituting the refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Conference on Applications of Kleene Algebras, these papers were selected from numerous submissions.

This volume contains the proceedings of the 10th International Seminar on - lational Methods in Computer Science (RelMiCS 10) and the 5th International Workshop on Applications of Kleene Algebra (AKA 5). The joint conference took place in Frauenwo rthon an Island in Lake Chiem in Bavaria,April 7 April 11, 2008. Its purpose was to bring together researchers various subdisciplines of computer science, mathematics and related ?elds who use the calculus of - lations and/or Kleene algebra as methodological and conceptual tools in their work. This conference is the joint continuation of two di?erent strands of meetings. The seminars of the RelMiCS series were held in Schloss Dagstuhl (Germany) in January 1994, Parati (Brazil) in July 1995, Hammamet (Tunisia) in January 1997, Warsaw (Poland) in September 1998, Qu ebec (Canada) in January 2000, and Oisterwijk (The Netherlands) in October 2001. The meeting on Appli- tions of Kleene Algebra started as a workshop, also held in Schloss Dagstuhl, in February2001.Tojointhesetwothemesinoneconferencewasmainlymotivated by the substantial common interests and overlap of the two communities. Over the years this has led to fruitful interactions and openened new and interesting researchdirections.Jointmeetings havebeenheldinMalente(Germany)in May 2003, in St. Catherines (Canada) in February 2005 and in Manchester (UK) in August/September 2006. This volume contains 28 contributions by researchersfrom all overthe world.

Inhalt
Formal Methods and the Theory of Social Choice.- Relations Making Their Way from Logics to Mathematics and Applied Sciences.- Boolean Logics with Relations.- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables.- A Relation Algebraic Semantics for a Lazy Functional Logic Language.- Latest News about Demonic Algebra with Domain.- On the Structure of Demonic Refinement Algebras with Enabledness and Termination.- Multi-objective Problems in Terms of Relational Algebra.- The Lattice of Contact Relations on a Boolean Algebra.- A Non-probabilistic Relational Model of Probabilistic Kleene Algebras.- Increasing Bisemigroups and Algebraic Routing.- Lazy Relations.- The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy.- The Algebraic Approach II: Dioids, Quantales and Monads.- Automated Reasoning for Hybrid Systems Two Case Studies .- Non-termination in Idempotent Semirings.- Formal Concepts in Dedekind Categories.- The Structure of the One-Generated Free Domain Semiring.- Determinisation of Relational Substitutions in Ordered Categories with Domain.- Boolean Algebras and Stone Maps in Schröder Categories.- Cardinality in Allegories.- Solving Linear Equations in *-continuous Action Lattices.- Reactive Probabilistic Programs and Refinement Algebra.- Knowledge and Games in Modal Semirings.- Theorem Proving Modulo Based on Boolean Equational Procedures.- Rectangles, Fringes, and Inverses.- An Ordered Category of Processes.- Automatic Proof Generation in Kleene Algebra.