By Rohit Parikh (auth.), Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.)
The publication constitutes the joint refereed complaints of the eleventh overseas convention on Relational equipment in machine technology, RelMiCS 2009, and the sixth overseas convention on purposes of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009.
The 22 revised complete papers offered including 2 invited papers have been rigorously reviewed and chosen from a number of submissions. The papers describe the calculus of relatives and comparable algebraic formalisms as methodological and conceptual instruments with designated specialise in formal equipment for software program engineering, logics of courses and hyperlinks to neighbouring disciplines. Their scope contains relation relation algebras and Kleene algebras, comparable formalisms akin to procedure algebras, mounted aspect calculi, idempotent semirings, quantales, allegories, dynamic algebras, cylindric algebras and their functions in components equivalent to verification, research and improvement of courses and algorithms relational formal tools corresponding to B or Z, tabular equipment, algebraic methods to logics of courses, modal and dynamic logics, period and temporal logics, algebraic semantics of programming languages , graph idea and combinatorial optimization, video games, automata and language idea, mechanised and automatic reasoning, determination techniques, spatio-temporal reasoning, wisdom acquisition, choice and scaling equipment or info systems.